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
* 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
* Adding msieve supportPatrick Lauer2012-11-254-3/+67
* Add more useflagsPatrick Lauer2012-11-254-7/+30
* Build system improvementsPatrick Lauer2012-11-253-2/+62
* Version bumpSebastien Fabbro2012-11-233-6/+55
* Adding a patch to fix legend text with FLTK backend, thanks Thomas Ilnseher (...Sebastien Fabbro2012-11-229-439/+38
* Initial import, ebuild by mePatrick Lauer2012-11-193-1/+55
* Initial import, ebuild by mePatrick Lauer2012-11-192-0/+12
* Installing more headersPatrick Lauer2012-11-193-4/+16
* Moving headers to fix build failures in other apps #443870Patrick Lauer2012-11-193-2/+56
* Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118...Mark Wright2012-11-183-11/+77
* Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2Mark Wright2012-11-183-3/+56
* Bump agda to 2.3.2Mark Wright2012-11-183-5/+106
* Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickc...Mark Wright2012-11-184-3/+141