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
* 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
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio...Alexis Ballier2010-11-111-6/+6
* depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio...Alexis Ballier2010-11-113-3/+10
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-111-3/+13
* Depend on netpbm[zlib] for pnmtops, bug #310305Alexis Ballier2010-11-113-5/+9
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-181-12/+3
* Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò.Samuli Suominen2010-10-183-7/+27
* BumpSebastien Fabbro2010-09-271-6/+8
* BumpSebastien Fabbro2010-09-273-4/+98
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #3...Alexis Ballier2010-04-091-5/+5
* Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #3...Alexis Ballier2010-04-092-2/+7
* remove oldAlexis Ballier2010-03-101-8/+4
* remove oldAlexis Ballier2010-03-104-106/+5
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-201-2/+12
* Added dev-texlive/texlive-pictures, bug #292630Sebastien Fabbro2010-01-202-5/+11
* sparc stable wrt #291786Raúl Porcel2009-12-271-12/+2
* sparc stable wrt #291786Raúl Porcel2009-12-272-3/+6
* amd64/x86 stable, bug #291786Markus Meier2009-11-091-2/+12
* amd64/x86 stable, bug #291786Markus Meier2009-11-092-3/+6
* ppc stable #291786Gysbert Wassenaar2009-11-081-12/+2
* ppc stable #291786Gysbert Wassenaar2009-11-082-3/+6
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ...Alexis Ballier2009-10-151-5/+5
* Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ...Alexis Ballier2009-10-152-3/+10
* remove oldAlexis Ballier2009-10-131-7/+4
* remove oldAlexis Ballier2009-10-133-137/+5
* dont prestrip files, bug #274321Alexis Ballier2009-09-191-4/+5
* dont prestrip files, bug #274321Alexis Ballier2009-09-192-1/+74
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-181-6/+6
* Fix typo: s/RDPEND/RDEPEND/Torsten Veller2009-09-183-5/+9