| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | x86 stable, bug #254073 | Markus Meier | 2009-01-12 | 1 | -1/+4 |
| * | Sparc stable, Bug #254073. |   Ferris McCormick | 2009-01-12 | 1 | -1/+4 |
| * | amd64 stable, bug 254073 |   Jeremy Olexa | 2009-01-12 | 1 | -2/+5 |
| * | Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the id... | Alexis Ballier | 2008-11-07 | 1 | -1/+7 |
| * | EAPI-2 revision; force ocaml 3.10 and camlp5 support now that it's stable eve... | Alexis Ballier | 2008-10-17 | 1 | -1/+7 |
| * | Add USE flag description to metadata wrt GLEP 56. |   Ulrich Müller | 2008-08-06 | 1 | -1/+4 |
| * | remove old | Alexis Ballier | 2008-04-08 | 1 | -1/+4 |
| * | sparc stable wrt #215746 | Raúl Porcel | 2008-04-08 | 1 | -1/+4 |
| * | amd64/x86 stable, bug #215746 | Markus Meier | 2008-04-06 | 1 | -1/+4 |
| * | stable ppc, bug 215746 | Brent Baude | 2008-04-03 | 1 | -1/+4 |
| * | remove unused version | Alexis Ballier | 2008-04-01 | 1 | -1/+5 |
| * | Fixed encoding in ChangeLog | Torsten Veller | 2008-03-06 | 1 | -2/+2 |
| * | restrict also installsources as it has the same problem with ocaml... it kill... | Alexis Ballier | 2008-01-16 | 1 | -1/+5 |
| * | disable again parallel make... not safe in some rare cases, bug #197389 | Alexis Ballier | 2008-01-16 | 1 | -1/+4 |
| * | Add support for building without ocamlopt, import smimou's patches from debia... | Alexis Ballier | 2008-01-03 | 1 | -2/+8 |
| * | fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in... | Alexis Ballier | 2007-12-19 | 1 | -1/+6 |
| * | no need to dodoc the license | Alexis Ballier | 2007-12-17 | 1 | -1/+5 |
| * | version bump | Alexis Ballier | 2007-12-17 | 1 | -1/+6 |
GitWeb
