| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added readline dependency |   Sebastien Fabbro | 2012-02-06 | 4 | -9/+15 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | alpha/sparc stable wrt #391517 |   Raúl Porcel | 2012-02-05 | 3 | -22/+15 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux ia64 | ||||
| * | Remove openmp (too experimental, do it with EXTRA_ECONF if interested), ↵ | Sebastien Fabbro | 2012-01-31 | 5 | -19/+29 |
| | | | | | | | fixed a parallel build issue (bug #401189), remove obsolete configure option Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Fix bug #400961, thanks to Mr. Anderson for report and fix. |   Mark Wright | 2012-01-30 | 4 | -9/+16 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 3 | -6/+12 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 3 | -6/+12 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Correct ChangeLog |   Justin Lecher | 2012-01-26 | 2 | -6/+6 |
| | | | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64 | ||||
| * | Mirror binary file and remove it from FILESDIR, #370879; add missing dies; ↵ | Justin Lecher | 2012-01-26 | 5 | -126/+40 |
| | | | | | | | resorted ebuild Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64 | ||||
| * | Bump agda to 2.3.0 bug #349460 | Mark Wright | 2012-01-23 | 5 | -9/+118 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Applying pkg_setup to earlier version | Sebastien Fabbro | 2012-01-21 | 3 | -8/+11 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Version bump | Sebastien Fabbro | 2012-01-21 | 3 | -6/+56 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Move pkg_pretend -> pkg_setup for openmp check, bug #399557 | Sebastien Fabbro | 2012-01-20 | 3 | -19/+12 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Fix manifest |   Kacper Kowalik | 2012-01-19 | 2 | -8/+19 |
| | | | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64 | ||||
| * | forgotten removed | Sebastien Fabbro | 2012-01-19 | 2 | -54/+0 |
| | | |||||
| * | Version bump. Fixed configure option for imagemagick/graphicsmagick | Sebastien Fabbro | 2012-01-19 | 18 | -678/+209 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Add prefix keywords | Kacper Kowalik | 2012-01-17 | 3 | -9/+22 |
| | | | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64 | ||||
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ↵ | Mark Wright | 2012-01-09 | 3 | -29/+27 |
| | | | | | | | to cd/pushd and tests. Require polyml with -portable. Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵ | Mark Wright | 2012-01-08 | 3 | -10/+14 |
| | | | | | | | on cd Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Compress the mirrored patch, thanks to xarthisius for reviewing | Mark Wright | 2012-01-08 | 3 | -10/+13 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 7 | -0/+298 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | Mark Wright | 2012-01-08 | 5 | -0/+616 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 6 | -0/+261 |
| | | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | ||||
| * | Marking gmm-4.1 ppc for bug 391651 |   Brent Baude | 2012-01-04 | 3 | -17/+10 |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64 | ||||
| * | Version bump. Remove old. | Sebastien Fabbro | 2012-01-04 | 5 | -84/+29 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Version bump | Sebastien Fabbro | 2012-01-03 | 3 | -6/+131 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ↵ | Sebastien Fabbro | 2012-01-03 | 6 | -250/+61 |
| | | | | | | | take care of some automagic. Removed fltk flag, the native graphics need opengl anyway. Gnuplot is not a dependencency anymore (more a suggested one). Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Fix drop-jreality-patch and libexecdir, thanks Benjamin Lorenz |   Thomas Kahle | 2011-12-26 | 4 | -12/+16 |
| | | | | | Package-Manager: portage-2.1.10.43/cvs/Linux x86_64 | ||||
| * | bump to 2.11, remove 2.9 | Thomas Kahle | 2011-12-25 | 5 | -59/+48 |
| | | | | | Package-Manager: portage-2.1.10.43/cvs/Linux x86_64 | ||||
| * | Import 3.1.3.3 from sage-on-gentoo. Thanks François Bissey | Thomas Kahle | 2011-12-23 | 6 | -5/+265 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Keyword ~amd64, better directory structure |   Andrey Grozin | 2011-12-22 | 3 | -25/+37 |
| | | | | | Package-Manager: portage-2.2.0_alpha81/cvs/Linux i686 | ||||
| * | Version bump | Andrey Grozin | 2011-12-21 | 5 | -22/+283 |
| | | | | | Package-Manager: portage-2.2.0_alpha81/cvs/Linux i686 | ||||
| * | Stable for ppc; bug #387187 |   Mark Loeser | 2011-12-18 | 3 | -8/+11 |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc | ||||
| * | Added gtk3, sse2 flags. Removed gtksourceview flag, mandatory dependency ↵ | Sebastien Fabbro | 2011-12-17 | 4 | -25/+31 |
| | | | | | | | when gui is installed Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Readding missing patch | Sebastien Fabbro | 2011-12-17 | 3 | -5/+18 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | Version bump | Andrey Grozin | 2011-12-17 | 3 | -5/+11 |
| | | | | | Package-Manager: portage-2.2.0_alpha81/cvs/Linux i686 | ||||
| * | Added mpfi support, thanks Martin von Gagern, bug #393651. Switched to EAPI4 | Sebastien Fabbro | 2011-12-17 | 4 | -15/+21 |
| | | | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64 | ||||
| * | x86 stable wrt bug #393785 |   Paweł Hajdan | 2011-12-14 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux i686 | ||||
| * | x86 stable wrt bug #394157 | Paweł Hajdan | 2011-12-14 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux i686 | ||||
| * | Restrict tests as per bug 366711 | Thomas Kahle | 2011-12-13 | 3 | -7/+12 |
| | | | | | Package-Manager: portage-2.1.10.40/cvs/Linux x86_64 | ||||
| * | x86 stable, bug #387187 |   Markus Meier | 2011-12-11 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.1.10.40/cvs/Linux x86_64 | ||||
| * | amd64 stable per bug 393785 | Thomas Kahle | 2011-12-09 | 2 | -3/+6 |
| | | | | | Package-Manager: portage-2.1.10.39/cvs/Linux x86_64 | ||||
| * | correct dep on normaliz, amd64 stable per bug 394157 | Thomas Kahle | 2011-12-09 | 4 | -15/+19 |
| | | | | | Package-Manager: portage-2.1.10.39/cvs/Linux x86_64 | ||||
| * | x86 stable wrt bug #391651 | Paweł Hajdan | 2011-12-07 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux i686 | ||||
| * | Undo changes to stable ebuild in previous commit | Thomas Kahle | 2011-12-06 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.1.10.39/cvs/Linux x86_64 | ||||
| * | Don't use deprecated options of start-stop-daemon (Bug 393353). Thanks Paolo | Thomas Kahle | 2011-12-06 | 5 | -10/+113 |
| | | | | | | | Pedroni. Package-Manager: portage-2.1.10.39/cvs/Linux x86_64 | ||||
| * | Marked stable on AMD64 as I am told there are no regressions over current ↵ |   Tony Vroon | 2011-12-05 | 3 | -15/+11 |
| | | | | | | | stable, despite worrying run-time behaviour. Based on arch testing by Agostino "ago" Sarubbo, Elijah "Armageddon" El Lazkani & Ian "idella4" Delaney in bug #360601. Package-Manager: portage-2.1.10.39/cvs/Linux x86_64 | ||||
| * | Drop alpha/ia64/sparc keywords | Raúl Porcel | 2011-12-04 | 4 | -12/+16 |
| | | | | | Package-Manager: portage-2.1.10.38/cvs/Linux ia64 | ||||
| * | Add missing zlib dependency. Stable on amd64. Bug #391517 |   Markos Chandras | 2011-12-02 | 3 | -11/+25 |
| | | | | | Package-Manager: portage-2.2.0_alpha79/cvs/Linux x86_64 | ||||
| * | Stable for HPPA (bug #391517). |   Jeroen Roovers | 2011-12-01 | 3 | -9/+12 |
| | | | | | Package-Manager: portage-2.2.0_alpha79/cvs/Linux x86_64 | ||||
| * | Stable for HPPA (bug #391651). | Jeroen Roovers | 2011-11-30 | 3 | -20/+13 |
| | | | | | Package-Manager: portage-2.2.0_alpha79/cvs/Linux x86_64 | ||||
GitWeb