Summary: | sci-mathematics/coq-8.4_p6 fails test bugs/closed/shouldsucceed/2456.v | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | tka <tka> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED OBSOLETE | ||
Severity: | normal | CC: | kingjon3377, lang-ml, sci-mathematics |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | build.log |
Description
tka
2015-07-08 12:44:39 UTC
Created attachment 406358 [details]
build.log
sci-mathematics/coq-8.4_p6 is not longer in the ::gentoo tree |