summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583)Thomas Kahle2012-05-047-125/+79
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-0411-153/+35
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-0435-71/+111
* sci-mathematics/gimps: Fix checksums again, #414073Justin Lecher2012-05-022-7/+10
* sci-mathematics/gimps: Fix Upstream stupidity in changing the tarball without...Justin Lecher2012-04-305-41/+44
* sci-mathematics/gimps: Version Bump, #413699Justin Lecher2012-04-274-13/+94
* sci-mathematics/axiom: Moved to EAPI=4, dropped unnecessary dieJustin Lecher2012-04-253-17/+18
* sci-mathematics/drgeo: Moved to EAPI=4, dropped unnessecary dieJustin Lecher2012-04-255-31/+33
* sci-mathematics/nusmv: Drop unnessecary dieJustin Lecher2012-04-255-18/+22
* sci-mathematics/yacas: -vJustin Lecher2012-04-257-143/+28
* Update to use mirror://.Michał Górny2012-04-242-18/+22
* Update to use mirror://.Michał Górny2012-04-248-15/+23
* Bump to 2.12Thomas Kahle2012-04-204-6/+109
* Version bumpSebastien Fabbro2012-04-183-6/+89
* Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ...Thomas Kahle2012-04-167-215/+55
* Version bumpSebastien Fabbro2012-04-162-25/+13
* Version bumpSebastien Fabbro2012-04-165-144/+34
* Stable for amd64, wrt bug #412179Agostino Sarubbo2012-04-163-17/+10
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-132-16/+36
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-138-18/+26
* Bump to 0.9.0Thomas Kahle2012-04-133-8/+63
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-134-8/+34
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-134-15/+23
* Fix python3 generation (bug #411699), add vtk flag to avoid automagic, prefix...Sebastien Fabbro2012-04-125-21/+69
* Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for the...Andrey Grozin2012-04-058-16/+251
* Version bumpAndrey Grozin2012-04-055-2/+283
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-014-7/+39
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-263-17/+10
* Marked ~x86-macosFabian Groffen2012-03-253-10/+13
* Drop ia64/sparcRaúl Porcel2012-03-256-15/+33
* Add agda-executable, Command-line program for type-checking and compiling Agd...Mark Wright2012-03-255-0/+105
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-255-0/+77
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI...Mark Wright2012-03-256-22/+135
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-255-33/+28
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and sa...Thomas Kahle2012-03-244-6/+241
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-243-6/+19
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located i...Mark Wright2012-03-244-12/+67
* New addition, written by meJustin Lecher2012-03-215-0/+94
* Added gnome-extras/yelp dependency for documentation when gtk is setSebastien Fabbro2012-03-153-11/+14
* Revert to ~ppc wrt #360601Samuli Suominen2012-03-133-7/+24
* Remove unused USE flags umfpack, ffcall and arpack.Samuli Suominen2012-03-103-15/+13
* Forgot to add virtual/glu for prev. commit. Complete it.Samuli Suominen2012-03-102-9/+10
* Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ...Samuli Suominen2012-03-104-10/+36
* Marking octave-3.4.3-r1 ppc64 for bug 402199Brent Baude2012-03-083-5/+8
* Marking glpk-4.45 ppc64 for bug 391517Brent Baude2012-03-083-5/+8
* Marking octave-3.4.3-r1 ppc for bug 402199Brent Baude2012-03-073-15/+8
* Version bumpSebastien Fabbro2012-03-063-7/+155
* Version bumpSebastien Fabbro2012-03-043-10/+16
* Remove old.Johannes Huber2012-03-033-23/+19
* Marking gmm-4.1 ppc64 for bug 391651Brent Baude2012-03-023-5/+8