| Summary: | sci-mathematics/coq-8.1_p4 version bump | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Le retraité <le.retired> |
| Component: | New packages | Assignee: | Gentoo Science Related Packages <sci> |
| Status: | RESOLVED FIXED | ||
| Severity: | enhancement | CC: | ml |
| Priority: | High | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| URL: | http://coq.inria.fr/ | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: | sci-mathematics/coq-8.1_p4.ebuild | ||
|
Description
Le retraité
2008-11-06 10:17:49 UTC
Created attachment 170892 [details]
sci-mathematics/coq-8.1_p4.ebuild
The updated ebuild. The ./configure parameters were slightly modified.
bumped, thanks |
