summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* stable ppc ppc64, bug #436318Anthony G. Basile2012-10-093-5/+18
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-072-20/+30
* Drop maintainer due retirement, #24135.Pacho Ramos2012-10-074-13/+9
* add camlp5 useflag to allow building coq with it, bug #434230 by Christian D.Alexis Ballier2012-10-064-10/+20
* Stable for amd64, wrt bug #436318Agostino Sarubbo2012-10-033-15/+8
* Sed some more files for Prefix, bug #433379Fabian Groffen2012-09-293-15/+19
* Marked ~hppa (bug #436318).Jeroen Roovers2012-09-263-12/+11
* fix URI_SRC and manifestBenda XU2012-09-264-8/+12
* new ebuildBenda XU2012-09-265-0/+76
* Fixing a stupid typoAndrey Grozin2012-09-263-9/+11
* add ~amd64, wrt to bug #435746Agostino Sarubbo2012-09-263-6/+8
* Fixing blas dependency, restructuring patchesAndrey Grozin2012-09-267-46/+55
* New USE flag doc; build with USE=-fox fixedAndrey Grozin2012-09-214-5/+47
* Initial importAndrey Grozin2012-09-205-0/+108
* Bump E to 1.6 Tiger HillMark Wright2012-09-202-2/+137
* isabelle doc requires a symlinkMark Wright2012-09-205-37/+45
* Version bumpAndrey Grozin2012-09-184-12/+24
* Version bump, closing #435096Andrey Grozin2012-09-163-19/+77
* 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-125-51/+34
* Correcting sbcl workaround (#411453); dont load init file in ccl (#432246, th...Andrey Grozin2012-08-256-23/+40
* version bump, use camlp4 and switch the desktop entry to make_desktop_entryAlexis Ballier2012-08-244-5/+123
* Add Science category to the desktop entry, fixing a repoman warning.Alexis Ballier2012-08-243-7/+10
* fix build with lablgtk 2.16Alexis Ballier2012-08-244-17/+68
* added prefix keywords (bug #349742)Christoph Junghans2012-08-233-16/+22
* Version bump, cleaning oldAndrey Grozin2012-08-1513-576/+81
* Add missing OS-X patch. Thanks Francois BisseyThomas Kahle2012-08-153-38/+55
* sci-mathematics/spass: Clean residuals from another fix solutionJustin Lecher2012-08-103-8/+10
* sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examplesJustin Lecher2012-08-104-34/+36
* Fix metadata.Diego Elio Pettenò2012-08-103-11/+17
* Version bumpSebastien Fabbro2012-08-091-4/+6
* Version bumpSebastien Fabbro2012-08-094-7/+155
* Version bumpSebastien Fabbro2012-08-091-13/+13
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-093-27/+25
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-096-175/+13
* Version bump. Fixed for prefixSebastien Fabbro2012-08-091-18/+18
* Version bump. Fixed for prefixSebastien Fabbro2012-08-092-16/+25
* Version bump.Michael Palimaka2012-08-073-16/+38
* Ugly workaround for broken sbcl in the main tree, closing #423267Andrey Grozin2012-08-054-11/+33
* Fixed automagic dependencies against fltk and qt as noted by Burcin Erocal, b...Sebastien Fabbro2012-08-016-27/+354
* Fix library messThomas Kahle2012-07-305-35/+51
* Add missing slot dependencies on Qt.Michael Palimaka2012-07-264-26/+33
* Version bump, keyword amd64-linux, x86-linuxSebastien Fabbro2012-07-223-7/+55
* sci-mathematics/topcom: Version Bump, fix compilation with gcc-4.7, #426214Justin Lecher2012-07-127-38/+283
* sci-mathematics/mathomatic: Cleaned oldJustin Lecher2012-07-106-147/+20
* Marking mathomatic-15.8.5 ppc for bug 425060Brent Baude2012-07-103-19/+8
* Version bumpSebastien Fabbro2012-07-071-13/+16
* Version bumpSebastien Fabbro2012-07-072-2/+72
* fixed examples installation directory, bug #424942Sebastien Fabbro2012-07-063-27/+18
* fixed examples installation directory, bug #424942Sebastien Fabbro2012-07-066-13/+22