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
* Stable for x86, wrt bug #460136Agostino Sarubbo2013-04-151-15/+15
| | | | (Portage version: 2.1.11.55/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
* Stable for x86, wrt bug #460136Agostino Sarubbo2013-04-152-3/+6
| | | | (Portage version: 2.1.11.55/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #460136Agostino Sarubbo2013-03-051-6/+16
| | | | (Portage version: 2.1.11.52/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #460136Agostino Sarubbo2013-03-052-3/+6
| | | | (Portage version: 2.1.11.52/cvs/Linux x86_64, signed Manifest commit with key 7194459F)
* fix build with camlp4, bug #450954Alexis Ballier2013-01-151-5/+6
| | | | (Portage version: 2.2.0_alpha153/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* fix build with camlp4, bug #450954Alexis Ballier2013-01-153-2/+27
| | | | (Portage version: 2.2.0_alpha153/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-071-4/+6
| | | | | | so that patch is not applied to coq-8.4_p1. (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-072-3/+85
| | | | | | so that patch is not applied to coq-8.4_p1. (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-061-6/+6
| | | | (Portage version: 2.2.0_alpha135/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-063-4/+14
| | | | (Portage version: 2.2.0_alpha135/cvs/Linux x86_64)
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-241-4/+7
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-243-1/+116
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-241-5/+5
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-242-2/+5
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
* fix build with lablgtk 2.16Alexis Ballier2012-08-241-15/+16
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* fix build with lablgtk 2.16Alexis Ballier2012-08-243-2/+52
| | | | (Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-171-6/+8
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-172-1/+88
| | | | (Portage version: 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-241-8/+8
| | | | | | 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 (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-243-4/+59
| | | | | | 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 (Portage version: 2.1.10.51/cvs/Linux x86_64)
* version bumpAlexis Ballier2012-02-231-4/+6
| | | | (Portage version: 2.2.0_alpha89/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bumpAlexis Ballier2012-02-232-2/+89
| | | | (Portage version: 2.2.0_alpha89/cvs/Linux x86_64)
* remove ptex dep as it is going awayAlexis Ballier2011-10-051-7/+7
| | | | (Portage version: 2.2.0_alpha61/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove ptex dep as it is going awayAlexis Ballier2011-10-053-9/+13
| | | | (Portage version: 2.2.0_alpha61/cvs/Linux x86_64)
* bump to pl2Thomas Kahle2011-08-131-6/+8
| | | | (Portage version: 2.1.10.10/cvs/Linux i686, signed Manifest commit with key 0x20F2A3AE)
* bump to pl2Thomas Kahle2011-08-132-1/+88
| | | | (Portage version: 2.1.10.10/cvs/Linux i686)
* remove oldAlexis Ballier2011-07-061-12/+12
| | | | (Portage version: 2.2.0_alpha43/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2011-07-069-545/+7
| | | | (Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-031-2/+2
| | | | (Portage version: 2.1.9.42/cvs/Linux ppc64, unsigned Manifest commit)
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-032-3/+6
| | | | (Portage version: 2.1.9.42/cvs/Linux ppc64)
* Drop sparc keywordsRaúl Porcel2011-02-271-25/+5
| | | | (Portage version: 2.1.9.41/cvs/Linux ia64, unsigned Manifest commit)
* Drop sparc keywordsRaúl Porcel2011-02-275-11/+15
| | | | (Portage version: 2.1.9.41/cvs/Linux ia64)
* Stable on amd64 wrt bug #355539Markos Chandras2011-02-211-2/+22
| | | | (Portage version: 2.1.9.39/cvs/Linux x86_64, signed Manifest commit with key B4AFF2C2)
* Stable on amd64 wrt bug #355539Markos Chandras2011-02-212-3/+6
| | | | (Portage version: 2.1.9.39/cvs/Linux x86_64)
* x86 stable wrt bug #355539Paweł Hajdan2011-02-201-12/+2
| | | | (Portage version: 2.1.9.25/cvs/Linux i686, unsigned Manifest commit)
* x86 stable wrt bug #355539Paweł Hajdan2011-02-202-3/+6
| | | | (Portage version: 2.1.9.25/cvs/Linux i686)
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by ↵Thomas Kahle2011-02-201-5/+6
| | | | | | Jonathan-Christofer Demay (Portage version: 2.1.9.40/cvs/Linux i686, signed Manifest commit with key 0xF87C90D6)
* Added camlp5-6 support to the 8.2 branch (bug 355297), patch by ↵Thomas Kahle2011-02-203-3/+140
| | | | | | Jonathan-Christofer Demay (Portage version: 2.1.9.40/cvs/Linux i686)
* version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145Alexis Ballier2011-01-201-5/+7
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145Alexis Ballier2011-01-202-2/+88
| | | | (Portage version: 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-201-2/+14
| | | | (Portage version: 2.1.9.24/cvs/Linux i686, signed Manifest commit with key 0xF87C90D6)
* adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061Thomas Kahle2010-11-204-2/+171
| | | | (Portage version: 2.1.9.24/cvs/Linux i686)
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-181-11/+3
| | | | (Portage version: 2.1.9.24/cvs/Linux i686, unsigned Manifest commit)
* bump to 8.3, fixes bug 341279Thomas Kahle2010-11-182-1/+82
| | | | (Portage version: 2.1.9.24/cvs/Linux i686)
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek ↵Alexis Ballier2010-11-111-6/+6
| | | | | | 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl> (Portage version: 2.2.0_alpha4/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek ↵Alexis Ballier2010-11-113-3/+10
| | | | | | 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl> (Portage version: 2.2.0_alpha4/cvs/Linux x86_64)
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-111-3/+13
| | | | (Portage version: 2.2.0_alpha4/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-113-5/+9
| | | | (Portage version: 2.2.0_alpha4/cvs/Linux x86_64)
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-181-12/+3
| | | | (Portage version: 2.2_rc97/cvs/Linux x86_64, unsigned Manifest commit)
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-183-7/+27
| | | | (Portage version: 2.2_rc97/cvs/Linux x86_64)