summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Correct ChangeLogJustin Lecher2012-01-261-4/+4
* Correct ChangeLogJustin Lecher2012-01-261-2/+2
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re...Justin Lecher2012-01-261-10/+8
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re...Justin Lecher2012-01-264-116/+32
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-231-7/+10
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-234-2/+108
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-211-5/+5
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-212-3/+6
* Version bumpSebastien Fabbro2012-01-211-4/+6
* Version bumpSebastien Fabbro2012-01-212-2/+50
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-201-16/+6
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-202-3/+6
* Fix manifestKacper Kowalik2012-01-191-7/+15
* Fix manifestKacper Kowalik2012-01-191-1/+4
* forgotten removedSebastien Fabbro2012-01-192-54/+0
* Version bump. Fixed configure option for imagemagick/graphicsmagickSebastien Fabbro2012-01-191-28/+10
* Version bump. Fixed configure option for imagemagick/graphicsmagickSebastien Fabbro2012-01-1917-650/+199
* Add prefix keywordsKacper Kowalik2012-01-171-6/+16
* Add prefix keywordsKacper Kowalik2012-01-172-3/+6
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ...Mark Wright2012-01-091-5/+5
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ...Mark Wright2012-01-092-24/+22
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-081-5/+5
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-082-5/+9
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-081-6/+6
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-082-4/+7
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-086-0/+280
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-081-0/+16
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-084-0/+600
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-081-0/+16
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-085-0/+245
* Marking gmm-4.1 ppc for bug 391651Brent Baude2012-01-041-12/+2
* Marking gmm-4.1 ppc for bug 391651Brent Baude2012-01-042-5/+8
* Version bump. Remove old.Sebastien Fabbro2012-01-041-10/+6
* Version bump. Remove old.Sebastien Fabbro2012-01-044-74/+23
* Version bumpSebastien Fabbro2012-01-031-4/+6
* Version bumpSebastien Fabbro2012-01-032-2/+125
* Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ...Sebastien Fabbro2012-01-031-9/+6
* Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ...Sebastien Fabbro2012-01-035-241/+55
* Fix drop-jreality-patch and libexecdir, thanks Benjamin LorenzThomas Kahle2011-12-261-6/+6
* Fix drop-jreality-patch and libexecdir, thanks Benjamin LorenzThomas Kahle2011-12-263-6/+10
* bump to 2.11, remove 2.9Thomas Kahle2011-12-251-8/+7
* bump to 2.11, remove 2.9Thomas Kahle2011-12-254-51/+41
* Import 3.1.3.3 from sage-on-gentoo. Thanks François BisseyThomas Kahle2011-12-231-4/+10
* Import 3.1.3.3 from sage-on-gentoo. Thanks François BisseyThomas Kahle2011-12-235-1/+255
* Keyword ~amd64, better directory structureAndrey Grozin2011-12-221-3/+2
* Keyword ~amd64, better directory structureAndrey Grozin2011-12-222-22/+35
* Version bumpAndrey Grozin2011-12-211-21/+5
* Version bumpAndrey Grozin2011-12-214-1/+278
* Stable for ppc; bug #387187Mark Loeser2011-12-181-5/+5