Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 251317 - sci-mathematics/coq-8.2_beta4 version bump
Summary: sci-mathematics/coq-8.2_beta4 version bump
Status: RESOLVED NEEDINFO
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Gentoo Science Related Packages
URL: http://coq.inria.fr/V8.2beta/
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-12-17 15:54 UTC by Le retraité
Modified: 2009-01-20 14:49 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
sci-mathematics/coq/coq-8.2_beta4.ebuild (coq-8.2_beta4.ebuild,1.86 KB, text/plain)
2008-12-17 15:54 UTC, Le retraité 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Le retraité 2008-12-17 15:54:04 UTC 
Coq-8.2 beta is now quite usable, you can get it here:
http://coq.inria.fr/V8.2beta4/files/coq-8.2beta4.tar.gz
Comment 1 Le retraité 2008-12-17 15:54:47 UTC 
Created attachment 175609 [details]
sci-mathematics/coq/coq-8.2_beta4.ebuild

The updated ebuild.
Comment 2 Lars Wendler (Polynomial-C) (RETIRED) gentoo-dev 2008-12-18 13:15:54 UTC 
Sigmatador, could you please attach a diff of your changes you did to the ebuild?

Reassigning to sci herd, CCing ml herd.
Comment 3 Alexis Ballier gentoo-dev 2008-12-20 02:31:00 UTC 
please also sync it with the latest ebuild in tree. Why did you drop the patches? does it work without ocamlopt?