Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Collapse)AuthorAgeFilesLines
* Fix desktop fileJustin Lecher2015-03-203-10/+24
| | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, ↵Mark Wright2015-02-156-13/+74
| | | | | | | patch from upstream: http://lists.gforge.inria.fr/pipermail/coq-commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc Package-Manager: portage-2.2.17/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* update deps for ocaml 4.02Alexis Ballier2014-11-283-7/+11
| | | | | | Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Bump coq to 8.4pl5Mark Wright2014-11-033-17/+110
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-237-30/+139
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-194-17/+21
| | | | | Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2013-08-198-467/+10
| | | | | Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-033-17/+91
| | | | | Package-Manager: portage-2.2.0_alpha191/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Stable for x86, wrt bug #460136Agostino Sarubbo2013-04-153-18/+21
| | | | | Package-Manager: portage-2.1.11.55/cvs/Linux x86_64 Manifest-Sign-Key: 0x7194459F
* Stable for amd64, wrt bug #460136Agostino Sarubbo2013-03-053-9/+22
| | | | | Package-Manager: portage-2.1.11.52/cvs/Linux x86_64 Manifest-Sign-Key: 0x7194459F
* fix build with camlp4, bug #450954Alexis Ballier2013-01-154-7/+33
| | | | | Package-Manager: portage-2.2.0_alpha153/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-073-7/+91
| | | | | | | so that patch is not applied to coq-8.4_p1. Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-064-10/+20
| | | | Package-Manager: portage-2.2.0_alpha135/cvs/Linux x86_64
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-244-5/+123
| | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-243-7/+10
| | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64
* fix build with lablgtk 2.16Alexis Ballier2012-08-244-17/+68
| | | | Package-Manager: portage-2.2.0_alpha122/cvs/Linux x86_64
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-173-7/+96
| | | | Package-Manager: portage-2.2.0_alpha107/cvs/Linux x86_64
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-244-12/+67
| | | | | | is an alias for Ploc.Exc, it has been deprecated for a while, and was removed in dev-ml/camlp5-6.05. Fixed by upstream in svn repo: https://coq.inria.fr/bugs/show_bug.cgi?id=2728 Package-Manager: portage-2.1.10.51/cvs/Linux x86_64
* version bumpAlexis Ballier2012-02-233-6/+95
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* remove ptex dep as it is going awayAlexis Ballier2011-10-054-16/+20
| | | | Package-Manager: portage-2.2.0_alpha61/cvs/Linux x86_64
* bump to pl2Thomas Kahle2011-08-133-7/+96
| | | | Package-Manager: portage-2.1.10.10/cvs/Linux i686
* remove oldAlexis Ballier2011-07-0610-557/+19
| | | | Package-Manager: portage-2.2.0_alpha43/cvs/Linux x86_64
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-033-5/+8
| | | | Package-Manager: portage-2.1.9.42/cvs/Linux ppc64
* Drop sparc keywordsRaúl Porcel2011-02-276-36/+20
| | | | Package-Manager: portage-2.1.9.41/cvs/Linux ia64
* Stable on amd64 wrt bug #355539Markos Chandras2011-02-213-5/+28
| | | | Package-Manager: portage-2.1.9.39/cvs/Linux x86_64
* x86 stable wrt bug #355539Paweł Hajdan2011-02-203-15/+8
| | | | Package-Manager: portage-2.1.9.25/cvs/Linux i686
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by ↵Thomas Kahle2011-02-204-8/+146
| | | | | | Jonathan-Christofer Demay Package-Manager: portage-2.1.9.40/cvs/Linux i686
* version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145Alexis Ballier2011-01-203-7/+95
| | | | Package-Manager: portage-2.2.0_alpha18/cvs/Linux x86_64
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-205-4/+185
| | | | Package-Manager: portage-2.1.9.24/cvs/Linux i686
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-183-12/+85
| | | | Package-Manager: portage-2.1.9.24/cvs/Linux i686
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek ↵Alexis Ballier2010-11-114-9/+16
| | | | | | 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl> Package-Manager: portage-2.2.0_alpha4/cvs/Linux x86_64
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-114-8/+22
| | | | Package-Manager: portage-2.2.0_alpha4/cvs/Linux x86_64
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-184-19/+30
| | | | Package-Manager: portage-2.2_rc97/cvs/Linux x86_64
* BumpSebastien Fabbro2010-09-274-10/+106
| | | | Package-Manager: portage-2.2_rc86/cvs/Linux x86_64
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug ↵Alexis Ballier2010-04-093-7/+12
| | | | | | #310305 Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* remove oldAlexis Ballier2010-03-105-114/+9
| | | | Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-203-7/+23
| | | | Package-Manager: portage-2.2_rc61/cvs/Linux x86_64
* sparc stable wrt #291786Raúl Porcel2009-12-273-15/+8
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ia64
* amd64/x86 stable, bug #291786Markus Meier2009-11-093-5/+18
| | | | Package-Manager: portage-2.2_rc49/cvs/Linux x86_64
* ppc stable #291786Gysbert Wassenaar2009-11-083-15/+8
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ppc
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ↵Alexis Ballier2009-10-153-8/+15
| | | | | | bug #288990 Package-Manager: portage-2.2_rc46/cvs/Linux x86_64
* remove oldAlexis Ballier2009-10-134-144/+9
| | | | Package-Manager: portage-2.2_rc46/cvs/Linux x86_64
* dont prestrip files, bug #274321Alexis Ballier2009-09-193-5/+79
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-184-11/+15
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* version bumpAlexis Ballier2009-08-273-5/+80
| | | | Package-Manager: portage-2.2_rc40/cvs/Linux x86_64
* remove oldAlexis Ballier2009-05-185-177/+18
| | | | Package-Manager: portage-2.2_rc33/cvs/Linux x86_64
* whitespaceMichael Sterrett2009-02-192-13/+2
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.28.1 i686
* version bump, bug #257540Alexis Ballier2009-02-183-2/+88
| | | | Package-Manager: portage-2.2_rc23/cvs/Linux x86_64
* ppc stable #254073Gysbert Wassenaar2009-01-173-15/+8
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc
* x86 stable, bug #254073Markus Meier2009-01-123-5/+18
| | | | Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.28 x86_64