Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* Version bumpAndrey Grozin2012-06-211-3/+3
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-06-212-7/+13
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux i686)
* sci-mathematics/num-utils: Bump EAPI=4, fix recursive-relative path in ↵Justin Lecher2012-06-191-8/+9
| | | | | | patches, #421787 (Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* sci-mathematics/num-utils: Bump EAPI=4, fix recursive-relative path in ↵Justin Lecher2012-06-193-15/+22
| | | | | | patches, #421787 (Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
* Remove unused local description for USE="gs"Samuli Suominen2012-06-161-2/+16
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Remove unused local description for USE="gs"Samuli Suominen2012-06-162-5/+4
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
* ppc stable wrt #419905, drop oldKacper Kowalik2012-06-161-16/+17
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
* ppc stable wrt #419905, drop oldKacper Kowalik2012-06-166-103/+8
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
* Patch signal handling: ↵Mark Wright2012-06-151-5/+7
| | | | | | http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780 (Portage version: 2.1.10.65/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Patch signal handling: ↵Mark Wright2012-06-154-2/+58
| | | | | | http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780 (Portage version: 2.1.10.65/cvs/Linux x86_64)
* whitespaceMichael Sterrett2012-06-141-11/+1
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, unsigned Manifest commit)
* whitespaceMichael Sterrett2012-06-141-2/+2
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Revision bump. Fixes bug #411453Jesus Rivero2012-06-141-17/+8
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux i686, signed Manifest commit with key 1F6F0683)
* Revision bump. Fixes bug #411453Jesus Rivero2012-06-143-3/+36
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux i686)
* Re-add hdf5, some octave packages might need it. Do in source configuring ↵Sebastien Fabbro2012-06-111-4/+5
| | | | | | for preventing more bugs. Drop hppa (needs hdf5) (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Re-add hdf5, some octave packages might need it. Do in source configuring ↵Sebastien Fabbro2012-06-112-1/+120
| | | | | | for preventing more bugs. Drop hppa (needs hdf5) (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Stable for amd64, wrt bug #419905Agostino Sarubbo2012-06-111-2/+16
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #419905Agostino Sarubbo2012-06-112-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, ↵Justin Lecher2012-06-101-4/+17
| | | | | | >=1.9.9 = gtk3), #420559 (Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, ↵Justin Lecher2012-06-105-46/+158
| | | | | | >=1.9.9 = gtk3), #420559 (Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
* marked x86 per bug 419905Jeff Horelick2012-06-091-12/+2
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux i686, unsigned Manifest commit)
* marked x86 per bug 419905Jeff Horelick2012-06-092-3/+6
| | | | (Portage version: 2.2.0_alpha110/cvs/Linux i686)
* Version bumpSebastien Fabbro2012-06-061-11/+7
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-06-062-2/+8
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-06-061-5/+8
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-06-062-2/+48
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-06-061-11/+13
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-06-069-218/+18
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* marked x86 per bug 418407Thomas Kahle2012-06-041-10/+6
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* marked x86 per bug 418407Thomas Kahle2012-06-042-3/+6
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64)
* Stable for amd64, wrt bug #418407Agostino Sarubbo2012-06-031-6/+10
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #418407Agostino Sarubbo2012-06-032-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Fix libpolymake.so.0 symlinkThomas Kahle2012-06-031-5/+5
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* Fix libpolymake.so.0 symlinkThomas Kahle2012-06-032-2/+6
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64)
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-021-6/+6
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add virtual/emacs and app-emacs/haskell-mode depsMark Wright2012-06-023-9/+13
| | | | (Portage version: 2.1.10.64/cvs/Linux x86_64)
* keyworded ~amd64 after request on sci-mlThomas Kahle2012-06-011-2/+12
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* keyworded ~amd64 after request on sci-mlThomas Kahle2012-06-012-3/+6
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Snapshot now hosted at dev.gentoo.orgAndrey Grozin2012-06-011-2/+2
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686, unsigned Manifest commit)
* Snapshot now hosted at dev.gentoo.orgAndrey Grozin2012-06-012-6/+9
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686)
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-011-18/+8
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-013-6/+21
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-311-7/+17
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-312-3/+4
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Fixing RDEPENDAndrey Grozin2012-05-311-2/+2
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686, unsigned Manifest commit)
* Fixing RDEPENDAndrey Grozin2012-05-312-9/+11
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686)
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing ↵Andrey Grozin2012-05-311-2/+2
| | | | | | bug #418079 (Portage version: 2.2.0_alpha108/cvs/Linux i686, unsigned Manifest commit)
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing ↵Andrey Grozin2012-05-314-0/+112
| | | | | | bug #418079 (Portage version: 2.2.0_alpha108/cvs/Linux i686)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)