| Commit message (Expand) | Author | Age | Files | Lines |
* | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 2 | -20/+30 |
* | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 4 | -13/+9 |
* | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. | Alexis Ballier | 2012-10-06 | 4 | -10/+20 |
* | Stable for amd64, wrt bug #436318 | Agostino Sarubbo | 2012-10-03 | 3 | -15/+8 |
* | Sed some more files for Prefix, bug #433379 | Fabian Groffen | 2012-09-29 | 3 | -15/+19 |
* | Marked ~hppa (bug #436318). | Jeroen Roovers | 2012-09-26 | 3 | -12/+11 |
* | fix URI_SRC and manifest | Benda XU | 2012-09-26 | 4 | -8/+12 |
* | new ebuild | Benda XU | 2012-09-26 | 5 | -0/+76 |
* | Fixing a stupid typo | Andrey Grozin | 2012-09-26 | 3 | -9/+11 |
* | add ~amd64, wrt to bug #435746 | Agostino Sarubbo | 2012-09-26 | 3 | -6/+8 |
* | Fixing blas dependency, restructuring patches | Andrey Grozin | 2012-09-26 | 7 | -46/+55 |
* | New USE flag doc; build with USE=-fox fixed | Andrey Grozin | 2012-09-21 | 4 | -5/+47 |
* | Initial import | Andrey Grozin | 2012-09-20 | 5 | -0/+108 |
* | 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 | 5 | -37/+45 |
* | Version bump | Andrey Grozin | 2012-09-18 | 4 | -12/+24 |
* | Version bump, closing #435096 | Andrey Grozin | 2012-09-16 | 3 | -19/+77 |
* | 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 | 5 | -51/+34 |
* | Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th... | Andrey Grozin | 2012-08-25 | 6 | -23/+40 |
* | version bump, use camlp4 and switch the desktop entry to make_desktop_entry | Alexis Ballier | 2012-08-24 | 4 | -5/+123 |
* | Add Science category to the desktop entry, fixing a repoman warning. | Alexis Ballier | 2012-08-24 | 3 | -7/+10 |
* | fix build with lablgtk 2.16 | Alexis Ballier | 2012-08-24 | 4 | -17/+68 |
* | added prefix keywords (bug #349742) | Christoph Junghans | 2012-08-23 | 3 | -16/+22 |
* | Version bump, cleaning old | Andrey Grozin | 2012-08-15 | 13 | -576/+81 |
* | Add missing OS-X patch. Thanks Francois Bissey | Thomas Kahle | 2012-08-15 | 3 | -38/+55 |
* | sci-mathematics/spass: Clean residuals from another fix solution | Justin Lecher | 2012-08-10 | 3 | -8/+10 |
* | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples | Justin Lecher | 2012-08-10 | 4 | -34/+36 |
* | Fix metadata. | Diego Elio Pettenò | 2012-08-10 | 3 | -11/+17 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 1 | -4/+6 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 4 | -7/+155 |
* | Version bump | Sebastien Fabbro | 2012-08-09 | 1 | -13/+13 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 3 | -27/+25 |
* | keyword amd64-linux x86-linux | Sebastien Fabbro | 2012-08-09 | 6 | -175/+13 |
* | 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 | 3 | -16/+38 |
* | Ugly workaround for broken sbcl in the main tree, closing #423267 | Andrey Grozin | 2012-08-05 | 4 | -11/+33 |
* | Fixed automagic dependencies against fltk and qt as noted by Burcin Erocal, b... | Sebastien Fabbro | 2012-08-01 | 6 | -27/+354 |
* | Fix library mess | Thomas Kahle | 2012-07-30 | 5 | -35/+51 |
* | Add missing slot dependencies on Qt. | Michael Palimaka | 2012-07-26 | 4 | -26/+33 |
* | Version bump, keyword amd64-linux, x86-linux | Sebastien Fabbro | 2012-07-22 | 3 | -7/+55 |
* | sci-mathematics/topcom: Version Bump, fix compilation with gcc-4.7, #426214 | Justin Lecher | 2012-07-12 | 7 | -38/+283 |
* | sci-mathematics/mathomatic: Cleaned old | Justin Lecher | 2012-07-10 | 6 | -147/+20 |
* | Marking mathomatic-15.8.5 ppc for bug 425060 | Brent Baude | 2012-07-10 | 3 | -19/+8 |
* | Version bump | Sebastien Fabbro | 2012-07-07 | 1 | -13/+16 |
* | Version bump | Sebastien Fabbro | 2012-07-07 | 2 | -2/+72 |
* | fixed examples installation directory, bug #424942 | Sebastien Fabbro | 2012-07-06 | 3 | -27/+18 |
* | fixed examples installation directory, bug #424942 | Sebastien Fabbro | 2012-07-06 | 6 | -13/+22 |
* | marked x86 per bug 425060 | Jeff Horelick | 2012-07-06 | 3 | -15/+18 |