Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
the updated coq-7.4.ebuild
coq-7.4.ebuild (application/octet-stream), 688 bytes, created by George Shapovalov (RETIRED) on 2003-10-22 21:00:24 UTC
(hide)
 
Creator: George Shapovalov (RETIRED)
Created: 2003-10-22 21:00:24 UTC
Size: 688 bytes

Attachment is not viewable in your browser because its MIME type (application/octet-stream) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 30388: 18781 | 19307 | 19647