| Commit message (Expand) | Author | Age | Files | Lines |
* | version bump, by Christian D., bug #416389 | Alexis Ballier | 2012-05-17 | 3 | -7/+96 |
* | 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 | 4 | -12/+67 |
* | version bump | Alexis Ballier | 2012-02-23 | 3 | -6/+95 |
* | remove ptex dep as it is going away | Alexis Ballier | 2011-10-05 | 4 | -16/+20 |
* | bump to pl2 | Thomas Kahle | 2011-08-13 | 3 | -7/+96 |
* | remove old | Alexis Ballier | 2011-07-06 | 10 | -557/+19 |
* | Marking coq-8.3_p1 ppc for bug 355539 | Brent Baude | 2011-06-03 | 3 | -5/+8 |
* | Drop sparc keywords | Raúl Porcel | 2011-02-27 | 6 | -36/+20 |
* | Stable on amd64 wrt bug #355539 | Markos Chandras | 2011-02-21 | 3 | -5/+28 |
* | x86 stable wrt bug #355539 | Paweł Hajdan | 2011-02-20 | 3 | -15/+8 |
* | Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri... | Thomas Kahle | 2011-02-20 | 4 | -8/+146 |
* | version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145 | Alexis Ballier | 2011-01-20 | 3 | -7/+95 |
* | adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061 | Thomas Kahle | 2010-11-20 | 5 | -4/+185 |
* | bump to 8.3, fixes bug 341279 | Thomas Kahle | 2010-11-18 | 3 | -12/+85 |
* | depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio... | Alexis Ballier | 2010-11-11 | 4 | -9/+16 |
* | Depend on netpbm[zlib] for pnmtops, bug #310305 | Alexis Ballier | 2010-11-11 | 4 | -8/+22 |
* | Fix ./configure with make >= 3.82 wrt #341187 by Diego E. Pettenò. | Samuli Suominen | 2010-10-18 | 4 | -19/+30 |
* | Bump | Sebastien Fabbro | 2010-09-27 | 4 | -10/+106 |
* | Add missing netpbm dep for USE=doc, by Christian D. <ThyrusG@gmx.de>, bug #3... | Alexis Ballier | 2010-04-09 | 3 | -7/+12 |
* | remove old | Alexis Ballier | 2010-03-10 | 5 | -114/+9 |
* | Added dev-texlive/texlive-pictures, bug #292630 | Sebastien Fabbro | 2010-01-20 | 3 | -7/+23 |
* | sparc stable wrt #291786 | Raúl Porcel | 2009-12-27 | 3 | -15/+8 |
* | amd64/x86 stable, bug #291786 | Markus Meier | 2009-11-09 | 3 | -5/+18 |
* | ppc stable #291786 | Gysbert Wassenaar | 2009-11-08 | 3 | -15/+8 |
* | Add missing dep on tl-mathextra for doc, by Arttu Valo <arttuv69@gmail.com>, ... | Alexis Ballier | 2009-10-15 | 3 | -8/+15 |
* | remove old | Alexis Ballier | 2009-10-13 | 4 | -144/+9 |
* | dont prestrip files, bug #274321 | Alexis Ballier | 2009-09-19 | 3 | -5/+79 |
* | Fix typo: s/RDPEND/RDEPEND/ | Torsten Veller | 2009-09-18 | 4 | -11/+15 |
* | version bump | Alexis Ballier | 2009-08-27 | 3 | -5/+80 |
* | remove old | Alexis Ballier | 2009-05-18 | 5 | -177/+18 |
* | whitespace | Michael Sterrett | 2009-02-19 | 2 | -13/+2 |
* | version bump, bug #257540 | Alexis Ballier | 2009-02-18 | 3 | -2/+88 |
* | ppc stable #254073 | Gysbert Wassenaar | 2009-01-17 | 3 | -15/+8 |
* | x86 stable, bug #254073 | Markus Meier | 2009-01-12 | 3 | -5/+18 |
* | Sparc stable, Bug #254073. | Ferris McCormick | 2009-01-12 | 3 | -5/+8 |
* | amd64 stable, bug 254073 | Jeremy Olexa | 2009-01-12 | 3 | -7/+10 |
* | whitespace | Michael Sterrett | 2008-12-31 | 2 | -13/+2 |
* | Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id... | Alexis Ballier | 2008-11-07 | 3 | -5/+82 |
* | EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve... | Alexis Ballier | 2008-10-17 | 3 | -6/+90 |
* | Add USE flag description to metadata wrt GLEP 56. | Ulrich Müller | 2008-08-06 | 1 | -6/+6 |
* | Add USE flag description to metadata wrt GLEP 56. | Ulrich Müller | 2008-08-06 | 2 | -3/+12 |
* | remove old | Alexis Ballier | 2008-04-08 | 3 | -94/+15 |
* | sparc stable wrt #215746 | Raúl Porcel | 2008-04-08 | 3 | -15/+8 |
* | amd64/x86 stable, bug #215746 | Markus Meier | 2008-04-06 | 3 | -5/+18 |
* | stable ppc, bug 215746 | Brent Baude | 2008-04-03 | 3 | -15/+8 |
* | remove unused version | Alexis Ballier | 2008-04-01 | 4 | -141/+10 |
* | Fixed encoding in ChangeLog | Torsten Veller | 2008-03-06 | 2 | -3/+13 |
* | Remove all old-style digests from the system and regen the Manifest files. | Robin H. Johnson | 2008-01-31 | 5 | -67/+0 |
* | restrict also installsources as it has the same problem with ocaml... it kill... | Alexis Ballier | 2008-01-16 | 3 | -14/+18 |
* | disable again parallel make... not safe in some rare cases, bug #197389 | Alexis Ballier | 2008-01-16 | 3 | -12/+24 |