| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Drop maintainer due retirement, #24135. |   Pacho Ramos | 2012-10-07 | 1 | -8/+18 |
| * | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 2 | -6/+5 |
| * | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 1 | -12/+12 |
| * | Drop maintainer due retirement, #24135. | Pacho Ramos | 2012-10-07 | 2 | -7/+4 |
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. |   Alexis Ballier | 2012-10-06 | 1 | -6/+6 |
| * | add camlp5 useflag to allow building coq with it, bug #434230 by Christian D. | Alexis Ballier | 2012-10-06 | 3 | -4/+14 |
| * | Stable for amd64, wrt bug #436318 |   Agostino Sarubbo | 2012-10-03 | 1 | -12/+2 |
| * | Stable for amd64, wrt bug #436318 | Agostino Sarubbo | 2012-10-03 | 2 | -3/+6 |
| * | Sed some more files for Prefix, bug #433379 |   Fabian Groffen | 2012-09-29 | 1 | -12/+12 |
| * | Sed some more files for Prefix, bug #433379 | Fabian Groffen | 2012-09-29 | 2 | -3/+7 |
| * | Marked ~hppa (bug #436318). |   Jeroen Roovers | 2012-09-26 | 1 | -9/+5 |
| * | Marked ~hppa (bug #436318). | Jeroen Roovers | 2012-09-26 | 2 | -3/+6 |
| * | fix URI_SRC and manifest |   Benda XU | 2012-09-26 | 1 | -4/+4 |
| * | fix URI_SRC and manifest | Benda XU | 2012-09-26 | 3 | -4/+8 |
| * | new ebuild | Benda XU | 2012-09-26 | 1 | -2/+3 |
| * | new ebuild | Benda XU | 2012-09-26 | 5 | -0/+75 |
| * | Fixing a stupid typo |   Andrey Grozin | 2012-09-26 | 1 | -2/+2 |
| * | Fixing a stupid typo | Andrey Grozin | 2012-09-26 | 2 | -7/+9 |
| * | add ~amd64, wrt to bug #435746 | Agostino Sarubbo | 2012-09-26 | 1 | -2/+2 |
| * | add ~amd64, wrt to bug #435746 | Agostino Sarubbo | 2012-09-26 | 2 | -4/+6 |
| * | Fixing blas dependency, restructuring patches | Andrey Grozin | 2012-09-26 | 1 | -3/+5 |
| * | Fixing blas dependency, restructuring patches | Andrey Grozin | 2012-09-26 | 6 | -43/+50 |
| * | 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 |
GitWeb
