| Commit message (Expand) | Author | Age | Files | Lines |
* | Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f... |  Mark Wright | 2013-10-19 | 3 | -9/+21 |
* | Quote variable and mark stable on AMD64, as per arch tester report by Elijah ... |  Tony Vroon | 2013-10-14 | 3 | -10/+14 |
* | Version bump |  Andrey Grozin | 2013-10-14 | 3 | -26/+27 |
* | Version bump |  Andrey Grozin | 2013-10-14 | 3 | -17/+223 |
* | remove old |  Thomas Kahle | 2013-09-14 | 6 | -219/+16 |
* | Patch agda 2.3.2.1 for haskell-src-exts 1.14 |  Mark Wright | 2013-09-13 | 4 | -5/+151 |
* | Bump agda-stdlib to 0.7 |  Mark Wright | 2013-09-13 | 3 | -6/+72 |
* | agda-executable must be rebuilt when agda is upgraded |  Mark Wright | 2013-09-13 | 3 | -2/+54 |
* | bump to 1.6 |  Thomas Kahle | 2013-09-11 | 3 | -16/+49 |
* | Whitespace |  Patrick Lauer | 2013-09-10 | 3 | -15/+7 |
* | Version bump |  Sebastien Fabbro | 2013-09-04 | 3 | -6/+60 |
* | Fix SRC_URI and HOMEPAGE (case-sensitive). |  Zac Medico | 2013-09-01 | 3 | -9/+12 |
* | Bump isabelle to 2013, fixes bug 468344 |  Mark Wright | 2013-08-31 | 6 | -6/+622 |
* | Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess... |  Mark Wright | 2013-08-23 | 3 | -19/+14 |
* | Bump E to 1.8 Jun Gopaldhara. |  Mark Wright | 2013-08-23 | 3 | -6/+138 |
* | Bump E to 1.8 Jun Gopaldhara. |  Mark Wright | 2013-08-23 | 3 | -9/+12 |
* | eapi5 and add := dep on ocaml pacakges |  Alexis Ballier | 2013-08-19 | 4 | -17/+21 |
* | remove old |  Alexis Ballier | 2013-08-19 | 8 | -467/+10 |
* | Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J... |  Mark Wright | 2013-08-17 | 3 | -19/+19 |
* | Fix homepage and build directory |  Sebastien Fabbro | 2013-08-12 | 4 | -15/+19 |
* | sci-mathematics/4ti2: Drop old |  Justin Lecher | 2013-08-11 | 4 | -43/+26 |
* | Version bump |  Sebastien Fabbro | 2013-08-06 | 5 | -7/+128 |
* | Initial ebuild for sci-mathematics/bertini |  Thomas Kahle | 2013-08-04 | 4 | -0/+107 |
* | Bump coq to 8.4pl2 / coq-8.4_p2. |  Mark Wright | 2013-08-03 | 3 | -17/+91 |
* | Stable for x86, wrt bug #477148 |  Agostino Sarubbo | 2013-07-27 | 3 | -18/+21 |
* | bump to 2.10.1, remove old |  Thomas Kahle | 2013-07-27 | 4 | -83/+25 |
* | relax Normaliz dep |  Thomas Kahle | 2013-07-27 | 3 | -10/+13 |
* | Fix Qt dependencies. |  Michael Palimaka | 2013-07-23 | 3 | -8/+16 |
* | Stable for amd64, wrt bug #477148 |  Agostino Sarubbo | 2013-07-21 | 3 | -9/+22 |
* | Cleanup due #473480 |  Pacho Ramos | 2013-07-21 | 3 | -18/+28 |
* | Keyword ~arm. |  Chí-Thanh Christopher Nguyễn | 2013-07-18 | 3 | -25/+9 |
* | Fix wrong usage of EPREFIX |  Thomas Kahle | 2013-07-18 | 3 | -9/+12 |
* | Keyword ~arm. |  Chí-Thanh Christopher Nguyễn | 2013-07-18 | 4 | -18/+12 |
* | Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47... |  Sebastien Fabbro | 2013-07-16 | 13 | -20/+462 |
* | version bump |  Julian Ospald | 2013-07-16 | 7 | -9/+376 |
* | fix building with boost-1.53 wrt #476274 |  Julian Ospald | 2013-07-15 | 4 | -13/+83 |
* | Version bump |  Sebastien Fabbro | 2013-07-09 | 3 | -18/+86 |
* | Add pdf documentation hidden as .tex in the source |  Patrick Lauer | 2013-07-05 | 3 | -5/+11 |
* | Fixed #473102 - depend on <texinfo-5.0 again |  Andrey Grozin | 2013-07-01 | 4 | -256/+26 |
* | Remove futile pkg_setup phase |  Patrick Lauer | 2013-07-01 | 3 | -15/+7 |
* | Stable for ppc64, wrt bug #473850 |  Agostino Sarubbo | 2013-06-29 | 3 | -18/+21 |
* | sci-mathematics/genius: Version Bump; drop old |  Justin Lecher | 2013-06-28 | 5 | -90/+44 |
* | Add correct python:2.7 dep |  Thomas Kahle | 2013-06-28 | 3 | -16/+14 |
* | Version bump |  Andrey Grozin | 2013-06-26 | 7 | -176/+35 |
* | Stable for amd64, wrt bug #473564 |  Agostino Sarubbo | 2013-06-25 | 3 | -18/+21 |
* | Stable for amd64, wrt bug #473850 |  Agostino Sarubbo | 2013-06-25 | 3 | -18/+21 |
* | Stable for x86, wrt bug #473564 |  Agostino Sarubbo | 2013-06-25 | 3 | -9/+22 |
* | Stable for x86, wrt bug #473850 |  Agostino Sarubbo | 2013-06-25 | 3 | -19/+22 |
* | Respect users AR tool (bug 474532) |  Thomas Kahle | 2013-06-25 | 3 | -8/+14 |
* | Depend on glpk slot 0 (bug 473380) |  Thomas Kahle | 2013-06-24 | 4 | -21/+24 |