Summary: | sci-mathematics/coq-8.9.1-r2 Error: Error during linking | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Alessandro Barbieri <lssndrbarbieri> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED INVALID | ||
Severity: | normal | CC: | jstein |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
coq-8.9.1-r2:20200406-213131.log
info |
Description
Alessandro Barbieri
2020-04-06 21:54:28 UTC
Created attachment 630906 [details]
coq-8.9.1-r2:20200406-213131.log
buildlog
Created attachment 630908 [details]
info
emerge --info
8.9 is no longer in the tree. |