| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1.... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-06-10 | 6 | -50/+175 |
* | marked x86 per bug 419905 | ![](//www.gravatar.com/avatar/5a9e83afcffcaeb00734bc11a9687728?s=13&d=retro) Jeff Horelick | 2012-06-09 | 3 | -15/+8 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-06-06 | 3 | -13/+15 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-06-06 | 3 | -7/+56 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-06-06 | 10 | -229/+31 |
* | marked x86 per bug 418407 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-06-04 | 3 | -13/+12 |
* | Stable for amd64, wrt bug #418407 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-06-03 | 3 | -9/+16 |
* | Fix libpolymake.so.0 symlink | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-06-03 | 3 | -7/+11 |
* | Add virtual/emacs and app-emacs/haskell-mode deps | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-06-02 | 4 | -15/+19 |
* | keyworded ~amd64 after request on sci-ml | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-06-01 | 3 | -5/+18 |
* | Snapshot now hosted at dev.gentoo.org | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-06-01 | 3 | -8/+11 |
* | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-06-01 | 4 | -24/+29 |
* | Remove spurious comment from site-init file for Emacs. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2012-05-31 | 3 | -10/+21 |
* | Fixing RDEPEND | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-05-31 | 3 | -11/+13 |
* | Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu... | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2012-05-31 | 4 | -0/+112 |
* | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-05-30 | 3 | -0/+171 |
* | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-05-30 | 3 | -0/+105 |
* | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-05-30 | 7 | -0/+244 |
* | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-05-30 | 10 | -6/+702 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-05-29 | 3 | -8/+14 |
* | inherit eutils for make_desktop_entry | ![](//www.gravatar.com/avatar/3fd276704065a063dbbb61aa9e03df7e?s=13&d=retro) Samuli Suominen | 2012-05-21 | 5 | -24/+22 |
* | Add missing inheritance of eutils.eclass | ![](//www.gravatar.com/avatar/957d6e82d707de2d7bb292a9d711084d?s=13&d=retro) Kacper Kowalik | 2012-05-21 | 8 | -23/+48 |
* | Version bump. Remove old. | ![](//www.gravatar.com/avatar/c0b3d658791eacfc3f8897753ff3caea?s=13&d=retro) Paweł Hajdan | 2012-05-21 | 4 | -24/+46 |
* | Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut... | ![](//www.gravatar.com/avatar/3fd276704065a063dbbb61aa9e03df7e?s=13&d=retro) Samuli Suominen | 2012-05-21 | 3 | -5/+25 |
* | Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable. | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-18 | 6 | -164/+20 |
* | Stable for amd64, wrt bug #415975 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2012-05-18 | 3 | -9/+16 |
* | version bump, by Christian D., bug #416389 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-05-17 | 3 | -7/+96 |
* | bump to 27.7-r1 to reflect changed source location (Bug 416225) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-16 | 3 | -11/+21 |
* | Fix parallel build of docs | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-16 | 3 | -9/+11 |
* | Install pdf manual with USE='doc'. (Bug 415939) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-16 | 3 | -12/+19 |
* | Fix bug 414709. Thanks Jean-Francis Roy for the solution. | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-13 | 3 | -5/+198 |
* | New package: Machine Learning PYthon (mlpy) is a high-performance Python libr... | ![](//www.gravatar.com/avatar/4bd89909a88b229552b227135b672b2e?s=13&d=retro) Donnie Berkholz | 2012-05-11 | 4 | -0/+54 |
* | examples are not configured, only installed (fixing bug #415349) together wit... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-05-10 | 4 | -94/+16 |
* | keyword ~amd64-fbsd | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2012-05-09 | 3 | -5/+18 |
* | Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029) | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-05-08 | 4 | -4/+31 |
* | Version bump. Optimize python module only when python is selected (bug #356975) | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-05-08 | 7 | -176/+95 |
* | bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-05-04 | 7 | -125/+79 |
* | dev-util/pkgconfig -> virtual/pkgconfig | ![](//www.gravatar.com/avatar/5a9e83afcffcaeb00734bc11a9687728?s=13&d=retro) Jeff Horelick | 2012-05-04 | 11 | -153/+35 |
* | dev-util/pkgconfig -> virtual/pkgconfig | ![](//www.gravatar.com/avatar/5a9e83afcffcaeb00734bc11a9687728?s=13&d=retro) Jeff Horelick | 2012-05-04 | 35 | -71/+111 |
* | sci-mathematics/gimps: Fix checksums again, #414073 | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-05-02 | 2 | -7/+10 |
* | sci-mathematics/gimps: Fix Upstream stupidity in changing the tarball without... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-30 | 5 | -41/+44 |
* | sci-mathematics/gimps: Version Bump, #413699 | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-27 | 4 | -13/+94 |
* | sci-mathematics/axiom: Moved to EAPI=4, dropped unnecessary die | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-25 | 3 | -17/+18 |
* | sci-mathematics/drgeo: Moved to EAPI=4, dropped unnessecary die | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-25 | 5 | -31/+33 |
* | sci-mathematics/nusmv: Drop unnessecary die | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-25 | 5 | -18/+22 |
* | sci-mathematics/yacas: -v | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2012-04-25 | 7 | -143/+28 |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 2 | -18/+22 |
* | Update to use mirror://. | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2012-04-24 | 8 | -15/+23 |
* | Bump to 2.12 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2012-04-20 | 4 | -6/+109 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2012-04-18 | 3 | -6/+89 |