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
* 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
* Removed oldSebastien Fabbro2012-12-115-132/+12
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-101-17/+12
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-103-102/+19
* Add twelf, ebuild by meMark Wright2012-12-091-0/+20
* Add twelf, ebuild by meMark Wright2012-12-099-0/+240
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-091-5/+7
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-094-4/+32
* add ~arm, bug #440908Markus Meier2012-12-081-4/+14
* add ~arm, bug #440908Markus Meier2012-12-082-3/+6
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-081-0/+14
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-083-0/+101
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-061-4/+14
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-063-9/+19
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-051-1/+12
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-054-0/+140
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-051-1/+12
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-054-0/+133
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-051-5/+5