Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove old.Michael Palimaka2012-12-204-103/+5
* Version bumpAndrey Grozin2012-12-141-1/+6
* Version bumpAndrey Grozin2012-12-145-1/+306
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-141-5/+15
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-142-3/+6
* Version bumpSebastien Fabbro2012-12-121-5/+8
* Version bumpSebastien Fabbro2012-12-123-6/+84
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-121-5/+5
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-122-5/+8
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-111-18/+9
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-115-44/+59
* Removed oldSebastien Fabbro2012-12-111-14/+10