| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | Cleanup due #473480 |   Pacho Ramos | 2013-07-21 | 1 | -13/+23 |
| * | Cleanup due #473480 | Pacho Ramos | 2013-07-21 | 2 | -5/+5 |
| * | Keyword ~arm. |   Chí-Thanh Christopher Nguyễn | 2013-07-18 | 1 | -22/+2 |
| * | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 2 | -3/+7 |
| * | Fix wrong usage of EPREFIX | Thomas Kahle | 2013-07-18 | 1 | -6/+6 |
| * | Fix wrong usage of EPREFIX | Thomas Kahle | 2013-07-18 | 2 | -3/+6 |
| * | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 1 | -13/+3 |
| * | Keyword ~arm. | Chí-Thanh Christopher Nguyễn | 2013-07-18 | 3 | -5/+9 |
| * | Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47... | Sebastien Fabbro | 2013-07-16 | 1 | -19/+17 |
| * | Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47... | Sebastien Fabbro | 2013-07-16 | 12 | -1/+445 |
GitWeb