Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Expand)AuthorAgeFilesLines
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-191-6/+6
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-193-11/+15
* remove oldAlexis Ballier2013-08-191-14/+4
* remove oldAlexis Ballier2013-08-197-453/+6
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-031-16/+8
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-032-1/+83
* Stable for x86, wrt bug #460136Agostino Sarubbo2013-04-151-15/+15
* Stable for x86, wrt bug #460136Agostino Sarubbo2013-04-152-3/+6
* Stable for amd64, wrt bug #460136Agostino Sarubbo2013-03-051-6/+16
* Stable for amd64, wrt bug #460136Agostino Sarubbo2013-03-052-3/+6
* fix build with camlp4, bug #450954Alexis Ballier2013-01-151-5/+6
* fix build with camlp4, bug #450954Alexis Ballier2013-01-153-2/+27
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s...Mark Wright2013-01-071-4/+6
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s...Mark Wright2013-01-072-3/+85
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-061-6/+6
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-063-4/+14
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-241-4/+7
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-243-1/+116
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-241-5/+5
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-242-2/+5
* fix build with lablgtk 2.16Alexis Ballier2012-08-241-15/+16
* fix build with lablgtk 2.16Alexis Ballier2012-08-243-2/+52
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-171-6/+8
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-172-1/+88
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i...Mark Wright2012-03-241-8/+8
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i...Mark Wright2012-03-243-4/+59
* version bumpAlexis Ballier2012-02-231-4/+6
* version bumpAlexis Ballier2012-02-232-2/+89
* remove ptex dep as it is going awayAlexis Ballier2011-10-051-7/+7
* remove ptex dep as it is going awayAlexis Ballier2011-10-053-9/+13
* bump to pl2Thomas Kahle2011-08-131-6/+8
* bump to pl2Thomas Kahle2011-08-132-1/+88
* remove oldAlexis Ballier2011-07-061-12/+12
* remove oldAlexis Ballier2011-07-069-545/+7
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-031-2/+2
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-032-3/+6
* Drop sparc keywordsRaúl Porcel2011-02-271-25/+5
* Drop sparc keywordsRaúl Porcel2011-02-275-11/+15
* Stable on amd64 wrt bug #355539Markos Chandras2011-02-211-2/+22
* Stable on amd64 wrt bug #355539Markos Chandras2011-02-212-3/+6
* x86 stable wrt bug #355539Paweł Hajdan2011-02-201-12/+2
* x86 stable wrt bug #355539Paweł Hajdan2011-02-202-3/+6
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri...Thomas Kahle2011-02-201-5/+6
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri...Thomas Kahle2011-02-203-3/+140
* version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145Alexis Ballier2011-01-201-5/+7
* version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145Alexis Ballier2011-01-202-2/+88
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-201-2/+14
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-204-2/+171
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-181-11/+3
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-182-1/+82