| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... |   Mark Wright | 2014-01-15 | 4 | -46/+453 |
| * | Bump |   Patrick Lauer | 2014-01-14 | 3 | -8/+14 |
| * | NMU: Version bump. Fixes bug #478496. |   Manuel Rüger | 2014-01-13 | 4 | -13/+156 |
| * | Version bump |   Andrey Grozin | 2014-01-11 | 3 | -18/+224 |
| * | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R... |   Justin Lecher | 2014-01-08 | 3 | -22/+32 |
| * | [QA] Change !use by ! use such that it negates the USE flag instead of expand... |   Tom Wijsman | 2014-01-07 | 5 | -19/+33 |
| * | sci-mathematics/twelf: Punt base.eclass | Justin Lecher | 2014-01-06 | 4 | -45/+58 |
| * | sci-mathematics/cgal: Drop old; punt base.eclass | Justin Lecher | 2014-01-06 | 7 | -245/+35 |
| * | sci-mathematics/octave: Drop old; punt base.eclass | Justin Lecher | 2014-01-06 | 3 | -123/+19 |
| * | sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (... | Justin Lecher | 2014-01-06 | 4 | -93/+107 |
| * | Put in a note that compileWriteUdg.o will take a long time to compile. |   Robin H. Johnson | 2013-12-28 | 3 | -4/+8 |
| * | Bug #492696: version bump. | Robin H. Johnson | 2013-12-28 | 3 | -4/+145 |
| * | sci-mathematics/jags: Drop old | Justin Lecher | 2013-12-24 | 4 | -68/+23 |
| * | Stable for x86, wrt bug #487024 |   Agostino Sarubbo | 2013-12-24 | 3 | -9/+22 |
| * | fix build with +server wrt #494362 |   Julian Ospald | 2013-12-23 | 3 | -12/+15 |
| * | Stable for HPPA (bug #494330). |   Jeroen Roovers | 2013-12-22 | 3 | -10/+13 |
| * | version bump | Julian Ospald | 2013-12-14 | 6 | -10/+320 |
| * | sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclass | Justin Lecher | 2013-12-11 | 4 | -28/+45 |
| * | Thanks to vikraman: The agda-lib-ffi package provides some additional haskell... | Mark Wright | 2013-12-10 | 4 | -74/+44 |
| * | Bump agda to 2.3.2.2-r1 | Mark Wright | 2013-12-10 | 3 | -5/+120 |
| * | sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna... | Justin Lecher | 2013-12-07 | 4 | -2/+198 |
| * | Version bump |   Sebastien Fabbro | 2013-12-03 | 3 | -6/+12 |
| * | 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 |
GitWeb
