summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-052-9/+13
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-051-6/+6
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-053-23/+21
* Remove the static-libs use flag, as upstream do not support static in a way t...Mark Wright2012-12-051-5/+5
* Remove the static-libs use flag, as upstream do not support static in a way t...Mark Wright2012-12-052-16/+22
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...Mark Wright2012-12-051-6/+6
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...Mark Wright2012-12-053-11/+48
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-041-5/+5
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-042-3/+7
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-031-9/+15
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-032-3/+6
* marked x86 per bug 444058Thomas Kahle2012-12-011-2/+12
* marked x86 per bug 444058Thomas Kahle2012-12-012-3/+6
* Version bumpAndrey Grozin2012-11-301-4/+4
* Version bumpAndrey Grozin2012-11-303-17/+19
* Reducing output verbosity some morePatrick Lauer2012-11-301-2/+4
* Reducing output verbosity some morePatrick Lauer2012-11-304-2/+97
* Fixing patch: logfile pathPatrick Lauer2012-11-301-2/+2
* Fixing patch: logfile pathPatrick Lauer2012-11-302-12/+4
* Fix displayed versioningPatrick Lauer2012-11-301-5/+4
* Fix displayed versioningPatrick Lauer2012-11-307-152/+40
* Correctify displayed version numberPatrick Lauer2012-11-301-2/+2
* Correctify displayed version numberPatrick Lauer2012-11-302-2/+6
* Version bumpSebastien Fabbro2012-11-301-14/+11
* Version bumpSebastien Fabbro2012-11-303-138/+20
* Initial import, ebuild by mePatrick Lauer2012-11-301-1/+2
* Initial import, ebuild by mePatrick Lauer2012-11-305-0/+120
* Adding another default parameter list filePatrick Lauer2012-11-301-2/+3
* Adding another default parameter list filePatrick Lauer2012-11-302-5/+11
* Adding default parameter list filePatrick Lauer2012-11-301-2/+3
* Adding default parameter list filePatrick Lauer2012-11-302-3/+13
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk...Mark Wright2012-11-291-9/+9
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: //usr/lib/pk...Mark Wright2012-11-292-6/+9
* Avoid parallel make failurePatrick Lauer2012-11-281-2/+2
* Avoid parallel make failurePatrick Lauer2012-11-282-4/+7
* Avoid parallel make failurePatrick Lauer2012-11-281-2/+2
* Avoid parallel make failurePatrick Lauer2012-11-282-3/+6
* Fix SRC_URIPatrick Lauer2012-11-281-2/+2
* Fix SRC_URIPatrick Lauer2012-11-282-3/+6
* Removing erroneous depPatrick Lauer2012-11-281-2/+2
* Removing erroneous depPatrick Lauer2012-11-282-4/+6
* Adding ggnfs depPatrick Lauer2012-11-281-2/+2
* Adding ggnfs depPatrick Lauer2012-11-282-4/+8
* Adding gwnum depPatrick Lauer2012-11-281-3/+4
* Adding gwnum depPatrick Lauer2012-11-284-3/+60