| Commit message (Expand) | Author | Age | Files | Lines |
* | Stable for sparc, wrt bug #494330 | Agostino Sarubbo | 2014-01-26 | 3 | -10/+21 |
* | x86 stable wrt bug #494330 | Mikle Kolyada | 2014-01-24 | 3 | -18/+13 |
* | sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144 | Justin Lecher | 2014-01-23 | 7 | -30/+139 |
* | Add keywords and fix setting S | Patrick Lauer | 2014-01-23 | 3 | -9/+8 |
* | Stable for ppc, wrt bug #494330 | Agostino Sarubbo | 2014-01-20 | 3 | -18/+21 |
* | Stable for ppc64, wrt bug #494330 | Agostino Sarubbo | 2014-01-19 | 3 | -18/+21 |
* | Stable for alpha, wrt bug #494330 | Agostino Sarubbo | 2014-01-18 | 3 | -8/+21 |
* | amd64 stable, bug #494330 | Pacho Ramos | 2014-01-18 | 3 | -10/+13 |
* | Ubundle amd, colamd and zlib, removed old | Sebastien Fabbro | 2014-01-16 | 7 | -66/+154 |
* | 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 |