| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | version bump: close bug 553942, thanks to OGINO Masanori |   Jauhien Piatlicki | 2015-07-05 | 1 | -1/+6 |
| * | Stable for amd64, wrt bug #553322 |   Agostino Sarubbo | 2015-06-27 | 1 | -1/+4 |
| * | Fix desktop file |   Justin Lecher | 2015-03-20 | 1 | -1/+4 |
| * | Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch... |   Mark Wright | 2015-02-15 | 1 | -2/+12 |
| * | update deps for ocaml 4.02 |   Alexis Ballier | 2014-11-28 | 1 | -1/+4 |
| * | Bump coq to 8.4pl5 | Mark Wright | 2014-11-03 | 1 | -1/+6 |
| * | sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 | Justin Lecher | 2014-01-23 | 1 | -2/+8 |
| * | eapi5 and add := dep on ocaml pacakges | Alexis Ballier | 2013-08-19 | 1 | -1/+5 |
| * | remove old | Alexis Ballier | 2013-08-19 | 1 | -1/+6 |
| * | Bump coq to 8.4pl2 / coq-8.4_p2. | Mark Wright | 2013-08-03 | 1 | -1/+6 |
| * | Stable for x86, wrt bug #460136 | Agostino Sarubbo | 2013-04-15 | 1 | -1/+4 |
| * | Stable for amd64, wrt bug #460136 | Agostino Sarubbo | 2013-03-05 | 1 | -1/+4 |
| * | fix build with camlp4, bug #450954 | Alexis Ballier | 2013-01-15 | 1 | -1/+5 |
| * | Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s... | Mark Wright | 2013-01-07 | 1 | -3/+8 |
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. | Alexis Ballier | 2012-10-06 | 1 | -1/+5 |
| * | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 1 | -1/+7 |
| * | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 1 | -1/+4 |
| * | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 1 | -1/+5 |
| * | version bump, by Christian D., bug #416389 | Alexis Ballier | 2012-05-17 | 1 | -1/+6 |
| * | Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i... | Mark Wright | 2012-03-24 | 1 | -1/+8 |
| * | version bump | Alexis Ballier | 2012-02-23 | 1 | -2/+7 |
| * | remove ptex dep as it is going away | Alexis Ballier | 2011-10-05 | 1 | -1/+5 |
| * | bump to pl2 |   Thomas Kahle | 2011-08-13 | 1 | -1/+6 |
| * | remove old | Alexis Ballier | 2011-07-06 | 1 | -1/+7 |
| * | Marking coq-8.3_p1 ppc for bug 355539 |   Brent Baude | 2011-06-03 | 1 | -1/+4 |
| * | Drop sparc keywords |   Raúl Porcel | 2011-02-27 | 1 | -1/+5 |
| * | Stable on amd64 wrt bug #355539 |   Markos Chandras | 2011-02-21 | 1 | -1/+4 |
| * | x86 stable wrt bug #355539 |   Paweł Hajdan | 2011-02-20 | 1 | -1/+4 |
| * | Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri... | Thomas Kahle | 2011-02-20 | 1 | -1/+6 |
| * | version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145 | Alexis Ballier | 2011-01-20 | 1 | -2/+7 |
| * | adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061 | Thomas Kahle | 2010-11-20 | 1 | -1/+6 |
| * | bump to 8.3, fixes bug 341279 | Thomas Kahle | 2010-11-18 | 1 | -1/+6 |
| * | depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio... | Alexis Ballier | 2010-11-11 | 1 | -1/+6 |
| * | Depend on netpbm[zlib] for pnmtops, bug #310305 | Alexis Ballier | 2010-11-11 | 1 | -1/+5 |
| * | Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò. |   Samuli Suominen | 2010-10-18 | 1 | -1/+5 |
| * | Bump |   Sebastien Fabbro | 2010-09-27 | 1 | -1/+7 |
| * | Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #3... | Alexis Ballier | 2010-04-09 | 1 | -1/+5 |
| * | remove old | Alexis Ballier | 2010-03-10 | 1 | -1/+5 |
| * | Added dev-texlive/texlive-pictures, bug #292630 | Sebastien Fabbro | 2010-01-20 | 1 | -2/+5 |
| * | sparc stable wrt #291786 | Raúl Porcel | 2009-12-27 | 1 | -1/+4 |
| * | amd64/x86 stable, bug #291786 |   Markus Meier | 2009-11-09 | 1 | -1/+4 |
| * | ppc stable #291786 |   Gysbert Wassenaar | 2009-11-08 | 1 | -1/+4 |
| * | Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ... | Alexis Ballier | 2009-10-15 | 1 | -1/+5 |
| * | remove old | Alexis Ballier | 2009-10-13 | 1 | -1/+5 |
| * | dont prestrip files, bug #274321 | Alexis Ballier | 2009-09-19 | 1 | -1/+6 |
| * | Fix typo: s/RDPEND/RDEPEND/ |   Torsten Veller | 2009-09-18 | 1 | -1/+5 |
| * | version bump | Alexis Ballier | 2009-08-27 | 1 | -1/+6 |
| * | remove old | Alexis Ballier | 2009-05-18 | 1 | -2/+6 |
| * | version bump, bug #257540 | Alexis Ballier | 2009-02-18 | 1 | -1/+6 |
| * | ppc stable #254073 | Gysbert Wassenaar | 2009-01-17 | 1 | -1/+4 |
GitWeb
