summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* stable ppc ppc64, bug #436318Anthony G. Basile2012-10-091-2/+12
* stable ppc ppc64, bug #436318Anthony G. Basile2012-10-092-3/+6
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-071-8/+18
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-6/+5
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-071-12/+12
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-7/+4
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-061-6/+6
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-063-4/+14
* Stable for amd64, wrt bug #436318Agostino Sarubbo2012-10-031-12/+2
* Stable for amd64, wrt bug #436318Agostino Sarubbo2012-10-032-3/+6
* Sed some more files for Prefix, bug #433379Fabian Groffen2012-09-291-12/+12
* Sed some more files for Prefix, bug #433379Fabian Groffen2012-09-292-3/+7
* Marked ~hppa (bug #436318).Jeroen Roovers2012-09-261-9/+5
* Marked ~hppa (bug #436318).Jeroen Roovers2012-09-262-3/+6
* fix URI_SRC and manifestBenda XU2012-09-261-4/+4
* fix URI_SRC and manifestBenda XU2012-09-263-4/+8
* new ebuildBenda XU2012-09-261-2/+3
* new ebuildBenda XU2012-09-265-0/+75
* Fixing a stupid typoAndrey Grozin2012-09-261-2/+2
* Fixing a stupid typoAndrey Grozin2012-09-262-7/+9
* add ~amd64, wrt to bug #435746Agostino Sarubbo2012-09-261-2/+2
* add ~amd64, wrt to bug #435746Agostino Sarubbo2012-09-262-4/+6
* Fixing blas dependency, restructuring patchesAndrey Grozin2012-09-261-3/+5
* Fixing blas dependency, restructuring patchesAndrey Grozin2012-09-266-43/+50
* New USE flag doc; build with USE=-fox fixedAndrey Grozin2012-09-211-2/+3
* New USE flag doc; build with USE=-fox fixedAndrey Grozin2012-09-213-3/+44
* Initial importAndrey Grozin2012-09-201-2/+2
* Initial importAndrey Grozin2012-09-205-0/+108
* Bump E to 1.6 Tiger HillMark Wright2012-09-201-8/+10
* Bump E to 1.6 Tiger HillMark Wright2012-09-202-2/+137
* isabelle doc requires a symlinkMark Wright2012-09-201-22/+22
* isabelle doc requires a symlinkMark Wright2012-09-203-7/+13
* Version bumpAndrey Grozin2012-09-181-4/+4
* Version bumpAndrey Grozin2012-09-183-8/+20
* Version bump, closing #435096Andrey Grozin2012-09-161-18/+10
* Version bump, closing #435096Andrey Grozin2012-09-162-1/+67
* move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m...Alexander Vershilov2012-09-121-16/+6
* move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to m...Alexander Vershilov2012-09-123-6/+10
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-121-29/+19
* move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackageAlexander Vershilov2012-09-123-6/+9
* Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th...Andrey Grozin2012-08-251-4/+5
* Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th...Andrey Grozin2012-08-255-19/+35
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-241-4/+7
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-243-1/+116
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-241-5/+5
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-242-2/+5
* fix build with lablgtk 2.16Alexis Ballier2012-08-241-15/+16
* fix build with lablgtk 2.16Alexis Ballier2012-08-243-2/+52
* added prefix keywords (bug #349742)Christoph Junghans2012-08-231-12/+16
* added prefix keywords (bug #349742)Christoph Junghans2012-08-232-4/+6