Summary: | sci-mathematics/coq-serapi-0.15.0-r2 - :(.text+<snip>): undefined reference to camlCmdliner_msg_entry | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Linux bug wranglers <bug-wranglers> |
Status: | RESOLVED DUPLICATE | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | emerge-info.txt |
Description
Toralf Förster
2022-05-22 09:17:05 UTC
Created attachment 779774 [details]
emerge-info.txt
*** This bug has been marked as a duplicate of bug 839102 *** |