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
* Remove old.Michael Palimaka2012-12-205-111/+13
* Version bumpAndrey Grozin2012-12-146-2/+312
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-143-8/+21
* Version bumpSebastien Fabbro2012-12-124-11/+92
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-123-10/+13
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-116-62/+68
* Removed oldSebastien Fabbro2012-12-116-146/+22
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-104-119/+31
* Add twelf, ebuild by meMark Wright2012-12-0910-0/+260
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-095-9/+39
* add ~arm, bug #440908Markus Meier2012-12-083-7/+20
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-084-0/+115
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-064-13/+33
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-053-1/+139
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-052-0/+13
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-053-1/+131
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-052-0/+14
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-053-14/+18
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-054-29/+27
* Remove the static-libs use flag, as upstream do not support static in a way t...Mark Wright2012-12-053-21/+27
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...Mark Wright2012-12-054-17/+54
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-043-8/+12
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-033-12/+21
* marked x86 per bug 444058Thomas Kahle2012-12-013-5/+18
* Version bumpAndrey Grozin2012-11-304-21/+23
* Reducing output verbosity some morePatrick Lauer2012-11-305-4/+101
* Fixing patch: logfile pathPatrick Lauer2012-11-303-14/+6
* Fix displayed versioningPatrick Lauer2012-11-308-157/+44
* Correctify displayed version numberPatrick Lauer2012-11-303-4/+8
* Version bumpSebastien Fabbro2012-11-304-152/+31
* Initial import, ebuild by mePatrick Lauer2012-11-304-1/+109
* Initial import, ebuild by mePatrick Lauer2012-11-302-0/+13
* Adding another default parameter list filePatrick Lauer2012-11-303-7/+14
* Adding default parameter list filePatrick Lauer2012-11-303-5/+16
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk...Mark Wright2012-11-293-15/+18
* Avoid parallel make failurePatrick Lauer2012-11-283-6/+9
* Avoid parallel make failurePatrick Lauer2012-11-283-5/+8
* Fix SRC_URIPatrick Lauer2012-11-283-5/+8
* Removing erroneous depPatrick Lauer2012-11-283-6/+8
* Adding ggnfs depPatrick Lauer2012-11-283-6/+10
* Adding gwnum depPatrick Lauer2012-11-285-6/+64
* Initial import, ebuild by mePatrick Lauer2012-11-283-1/+43
* Initial import, ebuild by mePatrick Lauer2012-11-282-0/+12
* whitespaceMichael Sterrett2012-11-273-6/+6
* More improvements, quiet output for nfsPatrick Lauer2012-11-274-2/+129
* Initial import, ebuild by mePatrick Lauer2012-11-273-1/+63
* Initial import, ebuild by mePatrick Lauer2012-11-272-0/+12
* Stable for amd64, wrt bug #444058Agostino Sarubbo2012-11-263-16/+9
* Initial import, ebuild by me, fixes #230437Patrick Lauer2012-11-263-1/+38
* Initial import, ebuild by me, fixes #230437Patrick Lauer2012-11-262-0/+12