245802 – sci-mathematics/coq-8.1_p4 version bump

Bug 245802 - sci-mathematics/coq-8.1_p4 version bump

Summary: sci-mathematics/coq-8.1_p4 version bump

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	High enhancement (vote)
Assignee:	Gentoo Science Related Packages

URL:	http://coq.inria.fr/
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2008-11-06 10:17 UTC by Le retraité
Modified:	2008-11-07 08:35 UTC (History)
CC List:	1 user (show)

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

Attachments
sci-mathematics/coq-8.1_p4.ebuild (coq-8.1_p4.ebuild,2.00 KB, text/plain) 2008-11-06 10:19 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-11-06 10:17:49 UTC

Coq-8.1 is now in pl4 version, the gentoo patches can still be applied (and so be general 8.1 patches).

http://coq.inria.fr/V8.1pl4/files/coq-8.1pl4.tar.gz

Comment 1 Le retraité 2008-11-06 10:19:37 UTC

Created attachment 170892 [details]
sci-mathematics/coq-8.1_p4.ebuild 

The updated ebuild. The ./configure parameters were slightly modified.

Comment 2 Alexis Ballier gentoo-dev

2008-11-07 08:35:17 UTC

bumped, thanks