| Commit message (Expand) | Author | Age | Files | Lines |
* | New USE flag doc; build with USE=-fox fixed | Andrey Grozin | 2012-09-21 | 1 | -2/+3 |
* | New USE flag doc; build with USE=-fox fixed | Andrey Grozin | 2012-09-21 | 3 | -3/+44 |
* | Initial import | Andrey Grozin | 2012-09-20 | 1 | -2/+2 |
* | Initial import | Andrey Grozin | 2012-09-20 | 5 | -0/+108 |
* | Bump E to 1.6 Tiger Hill | Mark Wright | 2012-09-20 | 1 | -8/+10 |
* | Bump E to 1.6 Tiger Hill | Mark Wright | 2012-09-20 | 2 | -2/+137 |
* | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 1 | -22/+22 |
* | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 3 | -7/+13 |
* | Version bump | Andrey Grozin | 2012-09-18 | 1 | -4/+4 |
* | Version bump | Andrey Grozin | 2012-09-18 | 3 | -8/+20 |
* | Version bump, closing #435096 | Andrey Grozin | 2012-09-16 | 1 | -18/+10 |
* | Version bump, closing #435096 | Andrey Grozin | 2012-09-16 | 2 | -1/+67 |
* | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m... | Alexander Vershilov | 2012-09-12 | 1 | -16/+6 |
* | move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m... | Alexander Vershilov | 2012-09-12 | 3 | -6/+10 |
* | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage | Alexander Vershilov | 2012-09-12 | 1 | -29/+19 |
* | move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage | Alexander Vershilov | 2012-09-12 | 3 | -6/+9 |
* | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th... | Andrey Grozin | 2012-08-25 | 1 | -4/+5 |
* | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th... | Andrey Grozin | 2012-08-25 | 5 | -19/+35 |
* | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 1 | -4/+7 |
* | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 3 | -1/+116 |
* | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 1 | -5/+5 |
* | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 2 | -2/+5 |
* | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 1 | -15/+16 |
* | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 3 | -2/+52 |
* | added prefix keywords (bug #349742) | Christoph Junghans | 2012-08-23 | 1 | -12/+16 |
* | added prefix keywords (bug #349742) | Christoph Junghans | 2012-08-23 | 2 | -4/+6 |
* | Version bump, cleaning old | Andrey Grozin | 2012-08-15 | 1 | -33/+25 |
* | Version bump, cleaning old | Andrey Grozin | 2012-08-15 | 12 | -543/+56 |
* | Add missing OS-X patch. Thanks Francois Bissey | Thomas Kahle | 2012-08-15 | 1 | -36/+27 |
* | Add missing OS-X patch. Thanks Francois Bissey | Thomas Kahle | 2012-08-15 | 2 | -2/+28 |
* | sci-mathematics/spass: Clean residuals from another fix solution | Justin Lecher | 2012-08-10 | 1 | -5/+5 |
* | sci-mathematics/spass: Clean residuals from another fix solution | Justin Lecher | 2012-08-10 | 2 | -3/+5 |
* | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples | Justin Lecher | 2012-08-10 | 1 | -10/+7 |
* | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples | Justin Lecher | 2012-08-10 | 3 | -24/+29 |
* | Fix metadata. | Diego Elio Pettenò | 2012-08-10 | 1 | -8/+12 |
* | Fix metadata. | Diego Elio Pettenò | 2012-08-10 | 2 | -3/+5 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 1 | -4/+6 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 2 | -1/+144 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 1 | -13/+13 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 2 | -6/+11 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 1 | -17/+13 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 2 | -10/+12 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 1 | -13/+6 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 5 | -162/+7 |
* | Version bump. Fixed for prefix | Sebastien Fabbro | 2012-08-09 | 1 | -18/+18 |
* | Version bump. Fixed for prefix | Sebastien Fabbro | 2012-08-09 | 2 | -16/+25 |
* | Version bump. | Michael Palimaka | 2012-08-07 | 1 | -14/+16 |
* | Version bump. | Michael Palimaka | 2012-08-07 | 2 | -2/+22 |
* | Ugly workaround for broken sbcl in the main tree, closing #423267 | Andrey Grozin | 2012-08-05 | 1 | -8/+9 |
* | Ugly workaround for broken sbcl in the main tree, closing #423267 | Andrey Grozin | 2012-08-05 | 3 | -3/+24 |