Bug 257540

Summary:	[version bump] sci-mathematics/coq-8.2
Product:	Gentoo Linux	Reporter:	Jonathan-Christofer Demay <jcdemay>
Component:	Current packages	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED FIXED
Severity:	normal	CC:	gmalecha, ml
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://coq.inria.fr/
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	245807
Attachments:	sci-mathematics/coq/coq-8.2_rc2.ebuild Version bump (compiles 8.2 release) sci-mathematics/coq/coq-8.2.ebuild

Description Jonathan-Christofer Demay 2009-02-03 23:01:35 UTC

Coq-8.2 is now in its second release candidate state, it can be downloaded here:
http://coq.inria.fr/V8.2rc2/files/coq-8.2rc2.tar.gz

Comment 1 Jonathan-Christofer Demay 2009-02-03 23:02:08 UTC

Created attachment 180859 [details]
sci-mathematics/coq/coq-8.2_rc2.ebuild

Here is a suggested ebuild, I think the patch from sci-mathematics/coq-8.1_px are no longer needed.

Comment 2 gmalecha 2009-02-18 03:42:38 UTC

Created attachment 182387 [details]
Version bump (compiles 8.2 release)

Just removing the -rc2. Ebuild works for compiling 8.2 release.
Compiled on amd64

Comment 3 Jonathan-Christofer Demay 2009-02-18 14:07:12 UTC

Created attachment 182419 [details]
sci-mathematics/coq/coq-8.2.ebuild

Indeed. A few clean up in the last one.

Comment 4 Marijn Schouten (RETIRED) gentoo-dev

2009-02-18 15:16:18 UTC

Hi Jonathan, if you really want to help, then always also attach patches against the latest in-tree ebuild, currently 8.1_p4.

Comment 5 Alexis Ballier gentoo-dev

2009-02-18 18:08:26 UTC

bumped, thanks
I've based the ebuild on yours and I had a couple of improvements to add there :)