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
* Correct ChangeLogJustin Lecher2012-01-262-6/+6
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re...Justin Lecher2012-01-265-126/+40
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-235-9/+118
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-213-8/+11
* Version bumpSebastien Fabbro2012-01-213-6/+56
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-203-19/+12
* Fix manifestKacper Kowalik2012-01-192-8/+19
* forgotten removedSebastien Fabbro2012-01-192-54/+0
* Version bump. Fixed configure option for imagemagick/graphicsmagickSebastien Fabbro2012-01-1918-678/+209
* Add prefix keywordsKacper Kowalik2012-01-173-9/+22
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ...Mark Wright2012-01-093-29/+27
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-083-10/+14
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-083-10/+13
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-087-0/+298
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-085-0/+616
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-086-0/+261
* Marking gmm-4.1 ppc for bug 391651Brent Baude2012-01-043-17/+10
* Version bump. Remove old.Sebastien Fabbro2012-01-045-84/+29
* Version bumpSebastien Fabbro2012-01-033-6/+131
* Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ...Sebastien Fabbro2012-01-036-250/+61
* Fix drop-jreality-patch and libexecdir, thanks Benjamin LorenzThomas Kahle2011-12-264-12/+16
* bump to 2.11, remove 2.9Thomas Kahle2011-12-255-59/+48
* Import 3.1.3.3 from sage-on-gentoo. Thanks François BisseyThomas Kahle2011-12-236-5/+265
* Keyword ~amd64, better directory structureAndrey Grozin2011-12-223-25/+37
* Version bumpAndrey Grozin2011-12-215-22/+283
* Stable for ppc; bug #387187Mark Loeser2011-12-183-8/+11
* Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency when...Sebastien Fabbro2011-12-174-25/+31
* Readding missing patchSebastien Fabbro2011-12-173-5/+18
* Version bumpAndrey Grozin2011-12-173-5/+11
* Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4Sebastien Fabbro2011-12-174-15/+21
* x86 stable wrt bug #393785Paweł Hajdan2011-12-143-9/+12
* x86 stable wrt bug #394157Paweł Hajdan2011-12-143-9/+12
* Restrict tests as per bug 366711Thomas Kahle2011-12-133-7/+12
* x86 stable, bug #387187Markus Meier2011-12-113-9/+12
* amd64 stable per bug 393785Thomas Kahle2011-12-092-3/+6
* correct dep on normaliz, amd64 stable per bug 394157Thomas Kahle2011-12-094-15/+19
* x86 stable wrt bug #391651Paweł Hajdan2011-12-073-9/+12
* Undo changes to stable ebuild in previous commitThomas Kahle2011-12-063-9/+12
* Don't use deprecated options of start-stop-daemon (Bug 393353). Thanks PaoloThomas Kahle2011-12-065-10/+113
* Marked stable on AMD64 as I am told there are no regressions over current sta...Tony Vroon2011-12-053-15/+11
* Drop alpha/ia64/sparc keywordsRaúl Porcel2011-12-044-12/+16
* Add missing zlib dependency. Stable on amd64. Bug #391517Markos Chandras2011-12-023-11/+25
* Stable for HPPA (bug #391517).Jeroen Roovers2011-12-013-9/+12
* Stable for HPPA (bug #391651).Jeroen Roovers2011-11-303-20/+13
* x86 stable wrt bug #391517Paweł Hajdan2011-11-283-10/+13
* Stable on amd64 wrt bug #391651Markos Chandras2011-11-263-10/+23
* Removed oldSebastien Fabbro2011-11-256-676/+12
* Version bumpSebastien Fabbro2011-11-252-5/+10
* Removed oldSebastien Fabbro2011-11-258-450/+19
* Version bumpSebastien Fabbro2011-11-253-17/+47