| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Adapt live ebuild to upstream changes |   Patrick Lauer | 2013-11-19 | 3 | -14/+9 |
| * | Version bump. |   Paweł Hajdan | 2013-11-18 | 4 | -7/+85 |
| * | pax-mark m on the binary (bug 491074) |   Thomas Kahle | 2013-11-13 | 3 | -6/+77 |
| * | Fixed doc installation directory (bug #490702) |   Sebastien Fabbro | 2013-11-12 | 3 | -5/+18 |
| * | drop gsview which is gtk+:1 only from the list of choices |   Michael Sterrett | 2013-11-11 | 3 | -29/+11 |
| * | Version bump | Sebastien Fabbro | 2013-11-06 | 4 | -14/+86 |
| * | sci-mathematics/form: Version BUmp, #490390 |   Justin Lecher | 2013-11-05 | 4 | -17/+116 |
| * | Install emacs files (broken by out of source building, bug #489938) | Sebastien Fabbro | 2013-10-31 | 3 | -19/+12 |
| * | sci-mathematics/pspp: Fixing out-of-source doc build | Justin Lecher | 2013-10-30 | 3 | -24/+27 |
| * | sci-mathematics/pspp: Fix underlinking and out-of-source build | Justin Lecher | 2013-10-30 | 7 | -22/+102 |
| * | Version bump, patches not needed anymore, fix bug #489526, thanks cujyaz@goog... | Sebastien Fabbro | 2013-10-30 | 3 | -2/+107 |
| * | Bump to 2.0_alpha, not yet working properly, thus no keywords | Patrick Lauer | 2013-10-21 | 3 | -2/+51 |
| * | 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 |
GitWeb
