summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bumpSebastien Fabbro2012-03-022-12/+12
* Version bumpSebastien Fabbro2012-03-025-47/+70
* Version bump, add a gnuplot flag (bug #402705), and fix occasional failures o...Sebastien Fabbro2012-02-273-7/+121
* Marking glpk-4.45 ppc for bug 391517Brent Baude2012-02-273-15/+8
* Restricting jythonPatrick Lauer2012-02-264-11/+15
* Restricting pythonPatrick Lauer2012-02-255-25/+19
* version bumpAlexis Ballier2012-02-233-6/+95
* Version bumpAndrey Grozin2012-02-203-7/+13
* x86 stable wrt bug #402199Paweł Hajdan2012-02-163-9/+12
* Fix building with ecls-12.2.1Andrey Grozin2012-02-134-6/+22
* Stable for amd64, wrt bug #402953Agostino Sarubbo2012-02-103-9/+16
* added missing dep for doc USE-flag, x86 stable per bug 402953Thomas Kahle2012-02-103-11/+16
* Stable for HPPA (bug #402199).Jeroen Roovers2012-02-083-13/+12
* Stable for amd64, wrt bug #402199Agostino Sarubbo2012-02-073-10/+17
* Added readline dependencySebastien Fabbro2012-02-064-9/+15
* alpha/sparc stable wrt #391517Raúl Porcel2012-02-053-22/+15
* Remove openmp (too experimental, do it with EXTRA_ECONF if interested), fixed...Sebastien Fabbro2012-01-315-19/+29
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-304-9/+16
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-303-6/+12
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-303-6/+12
* 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