| Commit message (Expand) | Author | Age | Files | Lines |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-03-06 | 3 | -7/+155 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-03-04 | 3 | -10/+16 |
* | Remove old. | ![](//www.gravatar.com/avatar/4b78a49f8d17603ddbe6cd7ee86beaf3?s=13&d=retro) Johannes Huber | 2012-03-03 | 3 | -23/+19 |
* | Marking gmm-4.1 ppc64 for bug 391651 | ![](//www.gravatar.com/avatar/e92ca83ef2c7e49838541e4b15f6e035?s=13&d=retro) Brent Baude | 2012-03-02 | 3 | -5/+8 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-03-02 | 2 | -12/+12 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-03-02 | 5 | -47/+70 |
* | Version bump, add a gnuplot flag (bug #402705), and fix occasional failures o... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-02-27 | 3 | -7/+121 |
* | Marking glpk-4.45 ppc for bug 391517 | ![](//www.gravatar.com/avatar/e92ca83ef2c7e49838541e4b15f6e035?s=13&d=retro) Brent Baude | 2012-02-27 | 3 | -15/+8 |
* | Restricting jython | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2012-02-26 | 4 | -11/+15 |
* | Restricting python | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2012-02-25 | 5 | -25/+19 |
* | version bump | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-02-23 | 3 | -6/+95 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-02-20 | 3 | -7/+13 |
* | x86 stable wrt bug #402199 | ![](//www.gravatar.com/avatar/c0b3d658791eacfc3f8897753ff3caea?s=13&d=retro) Paweł Hajdan | 2012-02-16 | 3 | -9/+12 |
* | Fix building with ecls-12.2.1 | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-02-13 | 4 | -6/+22 |
* | Stable for amd64, wrt bug #402953 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-02-10 | 3 | -9/+16 |
* | added missing dep for doc USE-flag, x86 stable per bug 402953 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-02-10 | 3 | -11/+16 |
* | Stable for HPPA (bug #402199). | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2012-02-08 | 3 | -13/+12 |
* | Stable for amd64, wrt bug #402199 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-02-07 | 3 | -10/+17 |
* | Added readline dependency | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-02-06 | 4 | -9/+15 |
* | alpha/sparc stable wrt #391517 | ![](//www.gravatar.com/avatar/fba59293da3e3af0ebdb934abf63ad16?s=13&d=retro) Raúl Porcel | 2012-02-05 | 3 | -22/+15 |
* | Remove openmp (too experimental, do it with EXTRA_ECONF if interested), fixed... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-31 | 5 | -19/+29 |
* | Fix bug #400961, thanks to Mr. Anderson for report and fix. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-30 | 4 | -9/+16 |
* | Note I am the maintainer in metadata.xml. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-30 | 3 | -6/+12 |
* | Note I am the maintainer in metadata.xml. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-30 | 3 | -6/+12 |
* | Correct ChangeLog | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-01-26 | 2 | -6/+6 |
* | Mirror binary file and remove it from FILESDIR, #370879; add missing dies; re... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-01-26 | 5 | -126/+40 |
* | Bump agda to 2.3.0 bug #349460 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-23 | 5 | -9/+118 |
* | Applying pkg_setup to earlier version | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-21 | 3 | -8/+11 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-21 | 3 | -6/+56 |
* | Move pkg_pretend -> pkg_setup for openmp check, bug #399557 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-20 | 3 | -19/+12 |
* | Fix manifest | ![](//www.gravatar.com/avatar/957d6e82d707de2d7bb292a9d711084d?s=13&d=retro) Kacper Kowalik | 2012-01-19 | 2 | -8/+19 |
* | forgotten removed | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-19 | 2 | -54/+0 |
* | Version bump. Fixed configure option for imagemagick/graphicsmagick | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-19 | 18 | -678/+209 |
* | Add prefix keywords | ![](//www.gravatar.com/avatar/957d6e82d707de2d7bb292a9d711084d?s=13&d=retro) Kacper Kowalik | 2012-01-17 | 3 | -9/+22 |
* | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-09 | 3 | -29/+27 |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 3 | -10/+14 |
* | Compress the mirrored patch, thanks to xarthisius for reviewing | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 3 | -10/+13 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 7 | -0/+298 |
* | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 5 | -0/+616 |
* | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 6 | -0/+261 |
* | Marking gmm-4.1 ppc for bug 391651 | ![](//www.gravatar.com/avatar/e92ca83ef2c7e49838541e4b15f6e035?s=13&d=retro) Brent Baude | 2012-01-04 | 3 | -17/+10 |
* | Version bump. Remove old. | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-04 | 5 | -84/+29 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-03 | 3 | -6/+131 |
* | Added glpk, qhull, qrupdate use flags to allow minimal no graphics build and ... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-01-03 | 6 | -250/+61 |
* | Fix drop-jreality-patch and libexecdir, thanks Benjamin Lorenz | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2011-12-26 | 4 | -12/+16 |
* | bump to 2.11, remove 2.9 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2011-12-25 | 5 | -59/+48 |
* | Import 3.1.3.3 from sage-on-gentoo. Thanks François Bissey | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2011-12-23 | 6 | -5/+265 |
* | Keyword ~amd64, better directory structure | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2011-12-22 | 3 | -25/+37 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2011-12-21 | 5 | -22/+283 |
* | Stable for ppc; bug #387187 | ![](//www.gravatar.com/avatar/c6407aafa82b7f6f79cace91bb661697?s=13&d=retro) Mark Loeser | 2011-12-18 | 3 | -8/+11 |