| Commit message (Expand) | Author | Age | Files | Lines |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 1 | -5/+5 |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 2 | -5/+9 |
* | Compress the mirrored patch, thanks to xarthisius for reviewing | Mark Wright | 2012-01-08 | 1 | -6/+6 |
* | Compress the mirrored patch, thanks to xarthisius for reviewing | Mark Wright | 2012-01-08 | 2 | -4/+7 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 1 | -0/+18 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 6 | -0/+280 |
* | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | Mark Wright | 2012-01-08 | 1 | -0/+16 |
* | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | Mark Wright | 2012-01-08 | 4 | -0/+600 |
* | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 1 | -0/+16 |
* | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 5 | -0/+245 |
* | Marking gmm-4.1 ppc for bug 391651 | Brent Baude | 2012-01-04 | 1 | -12/+2 |
* | Marking gmm-4.1 ppc for bug 391651 | Brent Baude | 2012-01-04 | 2 | -5/+8 |
* | Version bump. Remove old. | Sebastien Fabbro | 2012-01-04 | 1 | -10/+6 |
* | Version bump. Remove old. | Sebastien Fabbro | 2012-01-04 | 4 | -74/+23 |
* | Version bump | Sebastien Fabbro | 2012-01-03 | 1 | -4/+6 |
* | Version bump | Sebastien Fabbro | 2012-01-03 | 2 | -2/+125 |
* | Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ... | Sebastien Fabbro | 2012-01-03 | 1 | -9/+6 |
* | Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ... | Sebastien Fabbro | 2012-01-03 | 5 | -241/+55 |
* | Fix drop-jreality-patch and libexecdir, thanks Benjamin Lorenz | Thomas Kahle | 2011-12-26 | 1 | -6/+6 |
* | Fix drop-jreality-patch and libexecdir, thanks Benjamin Lorenz | Thomas Kahle | 2011-12-26 | 3 | -6/+10 |
* | bump to 2.11, remove 2.9 | Thomas Kahle | 2011-12-25 | 1 | -8/+7 |
* | bump to 2.11, remove 2.9 | Thomas Kahle | 2011-12-25 | 4 | -51/+41 |
* | Import 3.1.3.3 from sage-on-gentoo. Thanks François Bissey | Thomas Kahle | 2011-12-23 | 1 | -4/+10 |
* | Import 3.1.3.3 from sage-on-gentoo. Thanks François Bissey | Thomas Kahle | 2011-12-23 | 5 | -1/+255 |
* | Keyword ~amd64, better directory structure | Andrey Grozin | 2011-12-22 | 1 | -3/+2 |
* | Keyword ~amd64, better directory structure | Andrey Grozin | 2011-12-22 | 2 | -22/+35 |
* | Version bump | Andrey Grozin | 2011-12-21 | 1 | -21/+5 |
* | Version bump | Andrey Grozin | 2011-12-21 | 4 | -1/+278 |
* | Stable for ppc; bug #387187 | Mark Loeser | 2011-12-18 | 1 | -5/+5 |
* | Stable for ppc; bug #387187 | Mark Loeser | 2011-12-18 | 2 | -3/+6 |
* | Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency when... | Sebastien Fabbro | 2011-12-17 | 1 | -6/+6 |
* | Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency when... | Sebastien Fabbro | 2011-12-17 | 3 | -19/+25 |
* | Readding missing patch | Sebastien Fabbro | 2011-12-17 | 1 | -4/+5 |
* | Readding missing patch | Sebastien Fabbro | 2011-12-17 | 2 | -1/+13 |
* | Version bump | Andrey Grozin | 2011-12-17 | 1 | -3/+3 |
* | Version bump | Andrey Grozin | 2011-12-17 | 2 | -2/+8 |
* | Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4 | Sebastien Fabbro | 2011-12-17 | 1 | -6/+6 |
* | Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4 | Sebastien Fabbro | 2011-12-17 | 3 | -9/+15 |
* | x86 stable wrt bug #393785 | Paweł Hajdan | 2011-12-14 | 1 | -6/+6 |
* | x86 stable wrt bug #393785 | Paweł Hajdan | 2011-12-14 | 2 | -3/+6 |
* | x86 stable wrt bug #394157 | Paweł Hajdan | 2011-12-14 | 1 | -6/+6 |
* | x86 stable wrt bug #394157 | Paweł Hajdan | 2011-12-14 | 2 | -3/+6 |
* | Restrict tests as per bug 366711 | Thomas Kahle | 2011-12-13 | 1 | -5/+5 |
* | Restrict tests as per bug 366711 | Thomas Kahle | 2011-12-13 | 2 | -2/+7 |
* | x86 stable, bug #387187 | Markus Meier | 2011-12-11 | 1 | -6/+6 |
* | x86 stable, bug #387187 | Markus Meier | 2011-12-11 | 2 | -3/+6 |
* | amd64 stable per bug 393785 | Thomas Kahle | 2011-12-09 | 1 | -7/+7 |
* | amd64 stable per bug 393785 | Thomas Kahle | 2011-12-09 | 2 | -3/+6 |
* | correct dep on normaliz, amd64 stable per bug 394157 | Thomas Kahle | 2011-12-09 | 1 | -5/+5 |
* | correct dep on normaliz, amd64 stable per bug 394157 | Thomas Kahle | 2011-12-09 | 2 | -3/+7 |