| Commit message (Expand) | Author | Age | Files | Lines |
* | alpha/sparc stable wrt #391517 |  Raúl Porcel | 2012-02-05 | 1 | -17/+7 |
* | alpha/sparc stable wrt #391517 |  Raúl Porcel | 2012-02-05 | 2 | -5/+8 |
* | Remove openmp (too experimental, do it with EXTRA_ECONF if interested), fixed... |  Sebastien Fabbro | 2012-01-31 | 1 | -6/+7 |
* | Remove openmp (too experimental, do it with EXTRA_ECONF if interested), fixed... |  Sebastien Fabbro | 2012-01-31 | 4 | -13/+22 |
* | Fix bug #400961, thanks to Mr. Anderson for report and fix. |  Mark Wright | 2012-01-30 | 1 | -6/+6 |
* | Fix bug #400961, thanks to Mr. Anderson for report and fix. |  Mark Wright | 2012-01-30 | 3 | -3/+10 |
* | Note I am the maintainer in metadata.xml. |  Mark Wright | 2012-01-30 | 1 | -5/+5 |
* | Note I am the maintainer in metadata.xml. |  Mark Wright | 2012-01-30 | 2 | -1/+7 |
* | Note I am the maintainer in metadata.xml. |  Mark Wright | 2012-01-30 | 1 | -5/+5 |
* | Note I am the maintainer in metadata.xml. |  Mark Wright | 2012-01-30 | 2 | -1/+7 |
* | Correct ChangeLog |  Justin Lecher | 2012-01-26 | 1 | -4/+4 |
* | Correct ChangeLog |  Justin Lecher | 2012-01-26 | 1 | -2/+2 |
* | Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re... |  Justin Lecher | 2012-01-26 | 1 | -10/+8 |
* | Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re... |  Justin Lecher | 2012-01-26 | 4 | -116/+32 |
* | 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 |