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
* whitespaceMichael Sterrett2012-06-141-11/+1
* whitespaceMichael Sterrett2012-06-141-2/+2
* Revision bump. Fixes bug #411453Jesus Rivero2012-06-141-17/+8
* Revision bump. Fixes bug #411453Jesus Rivero2012-06-143-3/+36
* Re-add hdf5, some octave packages might need it. Do in source configuring for...Sebastien Fabbro2012-06-111-4/+5
* Re-add hdf5, some octave packages might need it. Do in source configuring for...Sebastien Fabbro2012-06-112-1/+120
* Stable for amd64, wrt bug #419905Agostino Sarubbo2012-06-111-2/+16
* Stable for amd64, wrt bug #419905Agostino Sarubbo2012-06-112-3/+6
* sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1....Justin Lecher2012-06-101-4/+17
* sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1....Justin Lecher2012-06-105-46/+158
* marked x86 per bug 419905Jeff Horelick2012-06-091-12/+2
* marked x86 per bug 419905Jeff Horelick2012-06-092-3/+6
* Version bumpSebastien Fabbro2012-06-061-11/+7
* Version bumpSebastien Fabbro2012-06-062-2/+8
* Version bumpSebastien Fabbro2012-06-061-5/+8
* Version bumpSebastien Fabbro2012-06-062-2/+48
* Version bumpSebastien Fabbro2012-06-061-11/+13
* Version bumpSebastien Fabbro2012-06-069-218/+18
* marked x86 per bug 418407Thomas Kahle2012-06-041-10/+6
* marked x86 per bug 418407Thomas Kahle2012-06-042-3/+6
* Stable for amd64, wrt bug #418407Agostino Sarubbo2012-06-031-6/+10
* Stable for amd64, wrt bug #418407Agostino Sarubbo2012-06-032-3/+6
* Fix libpolymake.so.0 symlinkThomas Kahle2012-06-031-5/+5
* Fix libpolymake.so.0 symlinkThomas Kahle2012-06-032-2/+6
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-021-6/+6
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-023-9/+13
* keyworded ~amd64 after request on sci-mlThomas Kahle2012-06-011-2/+12
* keyworded ~amd64 after request on sci-mlThomas Kahle2012-06-012-3/+6
* Snapshot now hosted at dev.gentoo.orgAndrey Grozin2012-06-011-2/+2
* Snapshot now hosted at dev.gentoo.orgAndrey Grozin2012-06-012-6/+9
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-011-18/+8
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-013-6/+21
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-311-7/+17
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-312-3/+4
* Fixing RDEPENDAndrey Grozin2012-05-311-2/+2
* Fixing RDEPENDAndrey Grozin2012-05-312-9/+11
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu...Andrey Grozin2012-05-311-2/+2
* 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-301-0/+14
* 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-301-0/+14
* 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-301-0/+15
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-304-0/+201
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-301-5/+15
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-309-1/+687
* Version bumpSebastien Fabbro2012-05-291-6/+6
* Version bumpSebastien Fabbro2012-05-292-2/+8
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-211-17/+11
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-214-7/+11