summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Re-add hdf5, some octave packages might need it. Do in source configuring for...Sebastien Fabbro2012-06-113-5/+125
* Stable for amd64, wrt bug #419905Agostino Sarubbo2012-06-113-5/+22
* sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1....Justin Lecher2012-06-106-50/+175
* marked x86 per bug 419905Jeff Horelick2012-06-093-15/+8
* Version bumpSebastien Fabbro2012-06-063-13/+15
* Version bumpSebastien Fabbro2012-06-063-7/+56
* Version bumpSebastien Fabbro2012-06-0610-229/+31
* marked x86 per bug 418407Thomas Kahle2012-06-043-13/+12
* Stable for amd64, wrt bug #418407Agostino Sarubbo2012-06-033-9/+16
* Fix libpolymake.so.0 symlinkThomas Kahle2012-06-033-7/+11
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-024-15/+19
* keyworded ~amd64 after request on sci-mlThomas Kahle2012-06-013-5/+18
* Snapshot now hosted at dev.gentoo.orgAndrey Grozin2012-06-013-8/+11
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-014-24/+29
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-313-10/+21
* Fixing RDEPENDAndrey Grozin2012-05-313-11/+13
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu...Andrey Grozin2012-05-314-0/+112
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...Mark Wright2012-05-303-0/+105
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-307-0/+244
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-3010-6/+702
* Version bumpSebastien Fabbro2012-05-293-8/+14
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-215-24/+22
* Add missing inheritance of eutils.eclassKacper Kowalik2012-05-218-23/+48
* Version bump. Remove old.Paweł Hajdan2012-05-214-24/+46
* Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut...Samuli Suominen2012-05-213-5/+25
* Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable.Thomas Kahle2012-05-186-164/+20
* Stable for amd64, wrt bug #415975Agostino Sarubbo2012-05-183-9/+16
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-173-7/+96
* bump to 27.7-r1 to reflect changed source location (Bug 416225)Thomas Kahle2012-05-163-11/+21
* Fix parallel build of docsThomas Kahle2012-05-163-9/+11
* Install pdf manual with USE='doc'. (Bug 415939)Thomas Kahle2012-05-163-12/+19
* Fix bug 414709. Thanks Jean-Francis Roy for the solution.Thomas Kahle2012-05-133-5/+198
* New package: Machine Learning PYthon (mlpy) is a high-performance Python libr...Donnie Berkholz2012-05-114-0/+54
* examples are not configured, only installed (fixing bug #415349) together wit...Sebastien Fabbro2012-05-104-94/+16
* keyword ~amd64-fbsdAlexis Ballier2012-05-093-5/+18
* Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029)Sebastien Fabbro2012-05-084-4/+31
* Version bump. Optimize python module only when python is selected (bug #356975)Sebastien Fabbro2012-05-087-176/+95
* 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