| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Bump agda to 2.3.0 bug #349460 |   Mark Wright | 2012-01-23 | 1 | -7/+10 |
| * | Bump agda to 2.3.0 bug #349460 | Mark Wright | 2012-01-23 | 4 | -2/+108 |
| * | Applying pkg_setup to earlier version |   Sebastien Fabbro | 2012-01-21 | 1 | -5/+5 |
| * | Applying pkg_setup to earlier version | Sebastien Fabbro | 2012-01-21 | 2 | -3/+6 |
| * | Version bump | Sebastien Fabbro | 2012-01-21 | 1 | -4/+6 |
| * | Version bump | Sebastien Fabbro | 2012-01-21 | 2 | -2/+50 |
| * | Move pkg_pretend -> pkg_setup for openmp check, bug #399557 | Sebastien Fabbro | 2012-01-20 | 1 | -16/+6 |
| * | Move pkg_pretend -> pkg_setup for openmp check, bug #399557 | Sebastien Fabbro | 2012-01-20 | 2 | -3/+6 |
| * | Fix manifest |   Kacper Kowalik | 2012-01-19 | 1 | -7/+15 |
| * | Fix manifest | Kacper Kowalik | 2012-01-19 | 1 | -1/+4 |
| * | forgotten removed | Sebastien Fabbro | 2012-01-19 | 2 | -54/+0 |
| * | Version bump. Fixed configure option for imagemagick/graphicsmagick | Sebastien Fabbro | 2012-01-19 | 1 | -28/+10 |
| * | Version bump. Fixed configure option for imagemagick/graphicsmagick | Sebastien Fabbro | 2012-01-19 | 17 | -650/+199 |
| * | Add prefix keywords | Kacper Kowalik | 2012-01-17 | 1 | -6/+16 |
| * | Add prefix keywords | Kacper Kowalik | 2012-01-17 | 2 | -3/+6 |
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | Mark Wright | 2012-01-09 | 1 | -5/+5 |
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | Mark Wright | 2012-01-09 | 2 | -24/+22 |
| * | 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 |
GitWeb
