Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 257540 - [version bump] sci-mathematics/coq-8.2
Summary: [version bump] sci-mathematics/coq-8.2
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Gentoo Science Related Packages
URL: http://coq.inria.fr/
Whiteboard:
Keywords:
Depends on:
Blocks: 245807
  Show dependency tree
 
Reported: 2009-02-03 23:01 UTC by Jonathan-Christofer Demay
Modified: 2009-10-23 22:24 UTC (History)
2 users (show)

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


Attachments
sci-mathematics/coq/coq-8.2_rc2.ebuild (coq-8.2_rc2.ebuild,1.50 KB, text/plain)
2009-02-03 23:02 UTC, Jonathan-Christofer Demay
Details
Version bump (compiles 8.2 release) (coq-8.2.ebuild,1.50 KB, text/plain)
2009-02-18 03:42 UTC, gmalecha
Details
sci-mathematics/coq/coq-8.2.ebuild (coq-8.2.ebuild,1.55 KB, text/plain)
2009-02-18 14:07 UTC, Jonathan-Christofer Demay
Details

Note You need to log in before you can comment on or make changes to this bug.
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 :)