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
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-091-5/+5
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵Mark Wright2012-01-092-24/+22
| | | | | | to cd/pushd and tests. Require polyml with -portable. (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-081-5/+5
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-082-5/+9
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-081-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-082-4/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-086-0/+280
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-081-0/+16
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-084-0/+600
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-081-0/+16
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-085-0/+245
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Marking gmm-4.1 ppc for bug 391651Brent Baude2012-01-041-12/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking gmm-4.1 ppc for bug 391651Brent Baude2012-01-042-5/+8
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Version bump. Remove old.Sebastien Fabbro2012-01-041-10/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump. Remove old.Sebastien Fabbro2012-01-044-74/+23
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-01-031-4/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-01-032-2/+125
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ↵Sebastien Fabbro2012-01-031-9/+6
| | | | | | take care of some automagic. Removed fltk flag, the native graphics need opengl anyway. Gnuplot is not a dependencency anymore (more a suggested one). (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ↵Sebastien Fabbro2012-01-035-241/+55
| | | | | | take care of some automagic. Removed fltk flag, the native graphics need opengl anyway. Gnuplot is not a dependencency anymore (more a suggested one). (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Fix drop-jreality-patch and libexecdir, thanks Benjamin LorenzThomas Kahle2011-12-261-6/+6
| | | | (Portage version: 2.1.10.43/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* Fix drop-jreality-patch and libexecdir, thanks Benjamin LorenzThomas Kahle2011-12-263-6/+10
| | | | (Portage version: 2.1.10.43/cvs/Linux x86_64)
* bump to 2.11, remove 2.9Thomas Kahle2011-12-251-8/+7
| | | | (Portage version: 2.1.10.43/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* bump to 2.11, remove 2.9Thomas Kahle2011-12-254-51/+41
| | | | (Portage version: 2.1.10.43/cvs/Linux x86_64)
* Import 3.1.3.3 from sage-on-gentoo. Thanks François BisseyThomas Kahle2011-12-231-4/+10
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* Import 3.1.3.3 from sage-on-gentoo. Thanks François BisseyThomas Kahle2011-12-235-1/+255
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Keyword ~amd64, better directory structureAndrey Grozin2011-12-221-3/+2
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686, unsigned Manifest commit)
* Keyword ~amd64, better directory structureAndrey Grozin2011-12-222-22/+35
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686)
* Version bumpAndrey Grozin2011-12-211-21/+5
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2011-12-214-1/+278
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686)
* Stable for ppc; bug #387187Mark Loeser2011-12-181-5/+5
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc, signed Manifest commit with key 458BAE84)
* Stable for ppc; bug #387187Mark Loeser2011-12-182-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc)
* Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency ↵Sebastien Fabbro2011-12-171-6/+6
| | | | | | when gui is installed (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency ↵Sebastien Fabbro2011-12-173-19/+25
| | | | | | when gui is installed (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Readding missing patchSebastien Fabbro2011-12-171-4/+5
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Readding missing patchSebastien Fabbro2011-12-172-1/+13
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* Version bumpAndrey Grozin2011-12-171-3/+3
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2011-12-172-2/+8
| | | | (Portage version: 2.2.0_alpha81/cvs/Linux i686)
* Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4Sebastien Fabbro2011-12-171-6/+6
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4Sebastien Fabbro2011-12-173-9/+15
| | | | (Portage version: 2.1.10.41/cvs/Linux x86_64)
* x86 stable wrt bug #393785Paweł Hajdan2011-12-141-6/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux i686, signed Manifest commit with key 30427902)
* x86 stable wrt bug #393785Paweł Hajdan2011-12-142-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux i686)
* x86 stable wrt bug #394157Paweł Hajdan2011-12-141-6/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux i686, signed Manifest commit with key 30427902)
* x86 stable wrt bug #394157Paweł Hajdan2011-12-142-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux i686)
* Restrict tests as per bug 366711Thomas Kahle2011-12-131-5/+5
| | | | (Portage version: 2.1.10.40/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* Restrict tests as per bug 366711Thomas Kahle2011-12-132-2/+7
| | | | (Portage version: 2.1.10.40/cvs/Linux x86_64)
* x86 stable, bug #387187Markus Meier2011-12-111-6/+6
| | | | (Portage version: 2.1.10.40/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* x86 stable, bug #387187Markus Meier2011-12-112-3/+6
| | | | (Portage version: 2.1.10.40/cvs/Linux x86_64)
* amd64 stable per bug 393785Thomas Kahle2011-12-091-7/+7
| | | | (Portage version: 2.1.10.39/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* amd64 stable per bug 393785Thomas Kahle2011-12-092-3/+6
| | | | (Portage version: 2.1.10.39/cvs/Linux x86_64)