Bug 251317

Summary:	sci-mathematics/coq-8.2_beta4 version bump
Product:	Gentoo Linux	Reporter:	Le retraité <le.retired>
Component:	Current packages	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED NEEDINFO
Severity:	enhancement	CC:	ml
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://coq.inria.fr/V8.2beta/
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	sci-mathematics/coq/coq-8.2_beta4.ebuild

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?