| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Bump coq to 8.4pl2 / coq-8.4_p2. |   Mark Wright | 2013-08-03 | 1 | -16/+8 |
| * | Bump coq to 8.4pl2 / coq-8.4_p2. | Mark Wright | 2013-08-03 | 2 | -1/+83 |
| * | Stable for x86, wrt bug #460136 |   Agostino Sarubbo | 2013-04-15 | 1 | -15/+15 |
| * | Stable for x86, wrt bug #460136 | Agostino Sarubbo | 2013-04-15 | 2 | -3/+6 |
| * | Stable for amd64, wrt bug #460136 | Agostino Sarubbo | 2013-03-05 | 1 | -6/+16 |
| * | Stable for amd64, wrt bug #460136 | Agostino Sarubbo | 2013-03-05 | 2 | -3/+6 |
| * | fix build with camlp4, bug #450954 |   Alexis Ballier | 2013-01-15 | 1 | -5/+6 |
| * | fix build with camlp4, bug #450954 | Alexis Ballier | 2013-01-15 | 3 | -2/+27 |
| * | Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s... | Mark Wright | 2013-01-07 | 1 | -4/+6 |
| * | Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s... | Mark Wright | 2013-01-07 | 2 | -3/+85 |
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. | Alexis Ballier | 2012-10-06 | 1 | -6/+6 |
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. | Alexis Ballier | 2012-10-06 | 3 | -4/+14 |
| * | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 1 | -4/+7 |
| * | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 3 | -1/+116 |
| * | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 1 | -5/+5 |
| * | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 2 | -2/+5 |
| * | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 1 | -15/+16 |
| * | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 3 | -2/+52 |
| * | version bump, by Christian D., bug #416389 | Alexis Ballier | 2012-05-17 | 1 | -6/+8 |
| * | version bump, by Christian D., bug #416389 | Alexis Ballier | 2012-05-17 | 2 | -1/+88 |
| * | 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 | -8/+8 |
| * | 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 | 3 | -4/+59 |
| * | version bump | Alexis Ballier | 2012-02-23 | 1 | -4/+6 |
| * | version bump | Alexis Ballier | 2012-02-23 | 2 | -2/+89 |
| * | remove ptex dep as it is going away | Alexis Ballier | 2011-10-05 | 1 | -7/+7 |
| * | remove ptex dep as it is going away | Alexis Ballier | 2011-10-05 | 3 | -9/+13 |
| * | bump to pl2 |   Thomas Kahle | 2011-08-13 | 1 | -6/+8 |
| * | bump to pl2 | Thomas Kahle | 2011-08-13 | 2 | -1/+88 |
| * | remove old | Alexis Ballier | 2011-07-06 | 1 | -12/+12 |
| * | remove old | Alexis Ballier | 2011-07-06 | 9 | -545/+7 |
| * | Marking coq-8.3_p1 ppc for bug 355539 |   Brent Baude | 2011-06-03 | 1 | -2/+2 |
| * | Marking coq-8.3_p1 ppc for bug 355539 | Brent Baude | 2011-06-03 | 2 | -3/+6 |
| * | Drop sparc keywords |   Raúl Porcel | 2011-02-27 | 1 | -25/+5 |
| * | Drop sparc keywords | Raúl Porcel | 2011-02-27 | 5 | -11/+15 |
| * | Stable on amd64 wrt bug #355539 |   Markos Chandras | 2011-02-21 | 1 | -2/+22 |
| * | Stable on amd64 wrt bug #355539 | Markos Chandras | 2011-02-21 | 2 | -3/+6 |
| * | x86 stable wrt bug #355539 |   Paweł Hajdan | 2011-02-20 | 1 | -12/+2 |
| * | x86 stable wrt bug #355539 | Paweł Hajdan | 2011-02-20 | 2 | -3/+6 |
| * | Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri... | Thomas Kahle | 2011-02-20 | 1 | -5/+6 |
| * | Added camlp5-6 support to the 8.2 branch (bug 355297), patch by Jonathan-Chri... | Thomas Kahle | 2011-02-20 | 3 | -3/+140 |
| * | version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145 | Alexis Ballier | 2011-01-20 | 1 | -5/+7 |
| * | version bump, by Olivier Huber <oli.huber@gmail.com>, bug #350145 | Alexis Ballier | 2011-01-20 | 2 | -2/+88 |
| * | adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061 | Thomas Kahle | 2010-11-20 | 1 | -2/+14 |
| * | adding compatibility patches for make-3.82 and camlp5-6.02.0, fixes bug #346061 | Thomas Kahle | 2010-11-20 | 4 | -2/+171 |
| * | bump to 8.3, fixes bug 341279 | Thomas Kahle | 2010-11-18 | 1 | -11/+3 |
| * | bump to 8.3, fixes bug 341279 | Thomas Kahle | 2010-11-18 | 2 | -1/+82 |
| * | depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio... | Alexis Ballier | 2010-11-11 | 1 | -6/+6 |
| * | depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio... | Alexis Ballier | 2010-11-11 | 3 | -3/+10 |
| * | Depend on netpbm[zlib] for pnmtops, bug #310305 | Alexis Ballier | 2010-11-11 | 1 | -3/+13 |
| * | Depend on netpbm[zlib] for pnmtops, bug #310305 | Alexis Ballier | 2010-11-11 | 3 | -5/+9 |
GitWeb
