| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | remove old |   Thomas Kahle | 2013-09-14 | 1 | -16/+10 |
| * | remove old | Thomas Kahle | 2013-09-14 | 5 | -203/+6 |
| * | Patch agda 2.3.2.1 for haskell-src-exts 1.14 |   Mark Wright | 2013-09-13 | 1 | -4/+7 |
| * | Patch agda 2.3.2.1 for haskell-src-exts 1.14 | Mark Wright | 2013-09-13 | 3 | -1/+144 |
| * | Bump agda-stdlib to 0.7 | Mark Wright | 2013-09-13 | 1 | -5/+7 |
| * | Bump agda-stdlib to 0.7 | Mark Wright | 2013-09-13 | 2 | -1/+65 |
| * | agda-executable must be rebuilt when agda is upgraded | Mark Wright | 2013-09-13 | 1 | -1/+12 |
| * | agda-executable must be rebuilt when agda is upgraded | Mark Wright | 2013-09-13 | 2 | -1/+42 |
| * | bump to 1.6 | Thomas Kahle | 2013-09-11 | 1 | -15/+7 |
| * | bump to 1.6 | Thomas Kahle | 2013-09-11 | 2 | -1/+42 |
| * | Whitespace |   Patrick Lauer | 2013-09-10 | 1 | -12/+2 |
| * | Whitespace | Patrick Lauer | 2013-09-10 | 2 | -3/+5 |
| * | Version bump |   Sebastien Fabbro | 2013-09-04 | 1 | -5/+7 |
| * | Version bump | Sebastien Fabbro | 2013-09-04 | 2 | -1/+53 |
| * | Fix SRC_URI and HOMEPAGE (case-sensitive). |   Zac Medico | 2013-09-01 | 1 | -5/+5 |
| * | Fix SRC_URI and HOMEPAGE (case-sensitive). | Zac Medico | 2013-09-01 | 2 | -4/+7 |
| * | Bump isabelle to 2013, fixes bug 468344 | Mark Wright | 2013-08-31 | 1 | -5/+12 |
| * | Bump isabelle to 2013, fixes bug 468344 | Mark Wright | 2013-08-31 | 5 | -1/+610 |
| * | Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess... | Mark Wright | 2013-08-23 | 1 | -5/+5 |
| * | Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess... | Mark Wright | 2013-08-23 | 2 | -14/+9 |
| * | Bump E to 1.8 Jun Gopaldhara. | Mark Wright | 2013-08-23 | 1 | -4/+6 |
| * | Bump E to 1.8 Jun Gopaldhara. | Mark Wright | 2013-08-23 | 2 | -2/+132 |
| * | Bump E to 1.8 Jun Gopaldhara. | Mark Wright | 2013-08-23 | 1 | -6/+6 |
| * | Bump E to 1.8 Jun Gopaldhara. | Mark Wright | 2013-08-23 | 2 | -3/+6 |
| * | eapi5 and add := dep on ocaml pacakges |   Alexis Ballier | 2013-08-19 | 1 | -6/+6 |
| * | eapi5 and add := dep on ocaml pacakges | Alexis Ballier | 2013-08-19 | 3 | -11/+15 |
| * | remove old | Alexis Ballier | 2013-08-19 | 1 | -14/+4 |
| * | remove old | Alexis Ballier | 2013-08-19 | 7 | -453/+6 |
| * | Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J... | Mark Wright | 2013-08-17 | 1 | -6/+6 |
| * | Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J... | Mark Wright | 2013-08-17 | 2 | -13/+13 |
| * | Fix homepage and build directory | Sebastien Fabbro | 2013-08-12 | 1 | -7/+7 |
| * | Fix homepage and build directory | Sebastien Fabbro | 2013-08-12 | 3 | -8/+12 |
| * | sci-mathematics/4ti2: Drop old |   Justin Lecher | 2013-08-11 | 1 | -16/+15 |
| * | sci-mathematics/4ti2: Drop old | Justin Lecher | 2013-08-11 | 3 | -27/+11 |
| * | Version bump | Sebastien Fabbro | 2013-08-06 | 1 | -5/+9 |
| * | Version bump | Sebastien Fabbro | 2013-08-06 | 4 | -2/+119 |
| * | Initial ebuild for sci-mathematics/bertini | Thomas Kahle | 2013-08-04 | 1 | -0/+14 |
| * | Initial ebuild for sci-mathematics/bertini | Thomas Kahle | 2013-08-04 | 3 | -0/+93 |
| * | 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 #477148 |   Agostino Sarubbo | 2013-07-27 | 1 | -15/+15 |
| * | Stable for x86, wrt bug #477148 | Agostino Sarubbo | 2013-07-27 | 2 | -3/+6 |
| * | bump to 2.10.1, remove old | Thomas Kahle | 2013-07-27 | 1 | -19/+6 |
| * | bump to 2.10.1, remove old | Thomas Kahle | 2013-07-27 | 3 | -64/+19 |
| * | relax Normaliz dep | Thomas Kahle | 2013-07-27 | 1 | -6/+6 |
| * | relax Normaliz dep | Thomas Kahle | 2013-07-27 | 2 | -4/+7 |
| * | Fix Qt dependencies. |   Michael Palimaka | 2013-07-23 | 1 | -5/+9 |
| * | Fix Qt dependencies. | Michael Palimaka | 2013-07-23 | 2 | -3/+7 |
| * | Stable for amd64, wrt bug #477148 | Agostino Sarubbo | 2013-07-21 | 1 | -6/+16 |
| * | Stable for amd64, wrt bug #477148 | Agostino Sarubbo | 2013-07-21 | 2 | -3/+6 |
GitWeb