summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-151-4/+6
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-153-2/+75
* fix build with camlp4, bug #450954Alexis Ballier2013-01-151-5/+6
* fix build with camlp4, bug #450954Alexis Ballier2013-01-153-2/+27
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-151-7/+5
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-153-119/+10
* Initial import, ebuild by mePatrick Lauer2013-01-131-1/+2
* Initial import, ebuild by mePatrick Lauer2013-01-134-0/+50
* Forgot transfig dependencySebastien Fabbro2013-01-111-5/+5
* Forgot transfig dependencySebastien Fabbro2013-01-112-3/+9
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-111-5/+5
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-112-18/+21
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --...Mark Wright2013-01-101-6/+8
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --...Mark Wright2013-01-104-6/+75
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-081-17/+10
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-085-86/+17
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s...Mark Wright2013-01-071-4/+6
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s...Mark Wright2013-01-072-3/+85
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-061-2/+2
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-062-2/+8
* Fixing ggnfs default pathsPatrick Lauer2013-01-061-3/+2
* Fixing ggnfs default pathsPatrick Lauer2013-01-063-47/+12
* Fixing linking issue with newer msievePatrick Lauer2013-01-061-2/+2
* Fixing linking issue with newer msievePatrick Lauer2013-01-062-4/+7
* Add live ebuildPatrick Lauer2013-01-061-1/+2
* Add live ebuildPatrick Lauer2013-01-062-2/+65
* Adding live ebuildPatrick Lauer2013-01-061-1/+2
* Adding live ebuildPatrick Lauer2013-01-062-1/+61
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-061-2/+2
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-062-5/+9
* Marked ~hppa too.Jeroen Roovers2013-01-021-5/+5
* Marked ~hppa too.Jeroen Roovers2013-01-022-5/+8
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-021-2/+2
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-022-4/+8
* Add blas useflagPatrick Lauer2013-01-011-3/+3
* Add blas useflagPatrick Lauer2013-01-013-5/+13
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-011-3/+3
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-014-47/+78
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-301-13/+13
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-302-11/+18
* Fix doc install per bug 449312Thomas Kahle2012-12-301-5/+5
* Fix doc install per bug 449312Thomas Kahle2012-12-302-4/+9
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-4/+6
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-283-1/+171
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
* Version bumpAndrey Grozin2012-12-241-16/+8
* Version bumpAndrey Grozin2012-12-242-2/+61
* add ~armMarkus Meier2012-12-231-9/+5
* add ~armMarkus Meier2012-12-232-3/+6
* Remove old.Michael Palimaka2012-12-201-8/+8