summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Version bump, cleaning oldAndrey Grozin2012-08-151-33/+25
* Version bump, cleaning oldAndrey Grozin2012-08-1512-543/+56
* Add missing OS-X patch. Thanks Francois BisseyThomas Kahle2012-08-151-36/+27
* Add missing OS-X patch. Thanks Francois BisseyThomas Kahle2012-08-152-2/+28
* sci-mathematics/spass: Clean residuals from another fix solutionJustin Lecher2012-08-101-5/+5
* sci-mathematics/spass: Clean residuals from another fix solutionJustin Lecher2012-08-102-3/+5
* sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examplesJustin Lecher2012-08-101-10/+7
* sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examplesJustin Lecher2012-08-103-24/+29
* Fix metadata.Diego Elio Pettenò2012-08-101-8/+12
* Fix metadata.Diego Elio Pettenò2012-08-102-3/+5
* Version bumpSebastien Fabbro2012-08-091-4/+6
* Version bumpSebastien Fabbro2012-08-092-1/+144
* Version bumpSebastien Fabbro2012-08-091-13/+13
* Version bumpSebastien Fabbro2012-08-092-6/+11
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-091-17/+13
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-092-10/+12
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-091-13/+6
* keyword amd64-linux x86-linuxSebastien Fabbro2012-08-095-162/+7
* 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-071-14/+16
* Version bump.Michael Palimaka2012-08-072-2/+22
* Ugly workaround for broken sbcl in the main tree, closing #423267Andrey Grozin2012-08-051-8/+9
* Ugly workaround for broken sbcl in the main tree, closing #423267Andrey Grozin2012-08-053-3/+24
* Fixed automagic dependencies against fltk and qt as noted by Burcin Erocal, b...Sebastien Fabbro2012-08-011-26/+30
* Fixed automagic dependencies against fltk and qt as noted by Burcin Erocal, b...Sebastien Fabbro2012-08-015-1/+324
* Fix library messThomas Kahle2012-07-301-11/+10
* Fix library messThomas Kahle2012-07-304-24/+41
* Add missing slot dependencies on Qt.Michael Palimaka2012-07-261-15/+19
* Add missing slot dependencies on Qt.Michael Palimaka2012-07-263-11/+14