Summary: | sci-mathematics/coq-serapi-0.15.0-r1 - :(.text+<snip>): undefined reference to camlCmdliner_entry | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | CONFIRMED --- | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-info.txt
emerge-history.txt.bz2 environment etc.portage.tar.bz2 sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log temp.tar.bz2 |
Description
Toralf Förster
2022-04-18 08:09:03 UTC
Created attachment 771500 [details]
emerge-info.txt
Created attachment 771503 [details]
emerge-history.txt.bz2
Created attachment 771506 [details]
environment
Created attachment 771509 [details]
etc.portage.tar.bz2
Created attachment 771512 [details]
sci-mathematics:coq-serapi-0.15.0-r1:20220418-010119.log
Created attachment 771515 [details]
temp.tar.bz2
*** Bug 846914 has been marked as a duplicate of this bug. *** |