| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Re-add hdf5, some octave packages might need it. Do in source configuring ↵ |   Sebastien Fabbro | 2012-06-11 | 3 | -5/+125 |
| | | | | | | | for preventing more bugs. Drop hppa (needs hdf5) Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Stable for amd64, wrt bug #419905 |   Agostino Sarubbo | 2012-06-11 | 3 | -5/+22 |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | ||||
| * | sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, ↵ |   Justin Lecher | 2012-06-10 | 6 | -50/+175 |
| | | | | | | | >=1.9.9 = gtk3), #420559 Package-Manager: portage-2.2.0_alpha110/cvs/Linux x86_64 | ||||
| * | marked x86 per bug 419905 |   Jeff Horelick | 2012-06-09 | 3 | -15/+8 |
| | | | | | Package-Manager: portage-2.2.0_alpha110/cvs/Linux i686 | ||||
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 3 | -13/+15 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 3 | -7/+56 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 10 | -229/+31 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | marked x86 per bug 418407 |   Thomas Kahle | 2012-06-04 | 3 | -13/+12 |
| | | | | | Package-Manager: portage-2.1.10.64/cvs/Linux x86_64 | ||||
| * | Stable for amd64, wrt bug #418407 | Agostino Sarubbo | 2012-06-03 | 3 | -9/+16 |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | ||||
| * | Fix libpolymake.so.0 symlink | Thomas Kahle | 2012-06-03 | 3 | -7/+11 |
| | | | | | Package-Manager: portage-2.1.10.64/cvs/Linux x86_64 | ||||
| * | Add virtual/emacs and app-emacs/haskell-mode deps |   Mark Wright | 2012-06-02 | 4 | -15/+19 |
| | | | | | Package-Manager: portage-2.1.10.64/cvs/Linux x86_64 | ||||
| * | keyworded ~amd64 after request on sci-ml | Thomas Kahle | 2012-06-01 | 3 | -5/+18 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Snapshot now hosted at dev.gentoo.org |   Andrey Grozin | 2012-06-01 | 3 | -8/+11 |
| | | | | | Package-Manager: portage-2.2.0_alpha108/cvs/Linux i686 | ||||
| * | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. | Mark Wright | 2012-06-01 | 4 | -24/+29 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Remove spurious comment from site-init file for Emacs. |   Ulrich Müller | 2012-05-31 | 3 | -10/+21 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Fixing RDEPEND | Andrey Grozin | 2012-05-31 | 3 | -11/+13 |
| | | | | | Package-Manager: portage-2.2.0_alpha108/cvs/Linux i686 | ||||
| * | Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing ↵ | Andrey Grozin | 2012-05-31 | 4 | -0/+112 |
| | | | | | | | bug #418079 Package-Manager: portage-2.2.0_alpha108/cvs/Linux i686 | ||||
| * | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. | Mark Wright | 2012-05-30 | 3 | -0/+171 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵ | Mark Wright | 2012-05-30 | 3 | -0/+105 |
| | | | | | | | integration. Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | Mark Wright | 2012-05-30 | 7 | -0/+244 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵ | Mark Wright | 2012-05-30 | 10 | -6/+702 |
| | | | | | | | Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | Version bump | Sebastien Fabbro | 2012-05-29 | 3 | -8/+14 |
| | | | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64 | ||||
| * | inherit eutils for make_desktop_entry |   Samuli Suominen | 2012-05-21 | 5 | -24/+22 |
| | | | | | Package-Manager: portage-2.2.0_alpha107/cvs/Linux x86_64 | ||||
| * | Add missing inheritance of eutils.eclass |   Kacper Kowalik | 2012-05-21 | 8 | -23/+48 |
| | | | | | Package-Manager: portage-2.2.0_alpha104/cvs/Linux x86_64 | ||||
| * | Version bump. Remove old. |   Paweł Hajdan | 2012-05-21 | 4 | -24/+46 |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux i686 | ||||
| * | Remove unnecessary gnome-extra/yelp from runtime dependencies; ↵ | Samuli Suominen | 2012-05-21 | 3 | -5/+25 |
| | | | | | | | src/ui/gui/automake.mk will print a message suggesting to use online help as alternative. This will avoid pulling in vulnerable copy of net-libs/xulrunner wrt #416843. Package-Manager: portage-2.2.0_alpha107/cvs/Linux x86_64 | ||||
| * | Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable. | Thomas Kahle | 2012-05-18 | 6 | -164/+20 |
| | | | | | Package-Manager: portage-2.1.10.62/cvs/Linux x86_64 | ||||
| * | Stable for amd64, wrt bug #415975 | Agostino Sarubbo | 2012-05-18 | 3 | -9/+16 |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | ||||
| * | version bump, by Christian D., bug #416389 |   Alexis Ballier | 2012-05-17 | 3 | -7/+96 |
| | | | | | Package-Manager: portage-2.2.0_alpha107/cvs/Linux x86_64 | ||||
| * | bump to 27.7-r1 to reflect changed source location (Bug 416225) | Thomas Kahle | 2012-05-16 | 3 | -11/+21 |
| | | | | | Package-Manager: portage-2.1.10.60/cvs/Linux x86_64 | ||||
| * | Fix parallel build of docs | Thomas Kahle | 2012-05-16 | 3 | -9/+11 |
| | | | | | Package-Manager: portage-2.1.10.60/cvs/Linux x86_64 | ||||
| * | Install pdf manual with USE='doc'. (Bug 415939) | Thomas Kahle | 2012-05-16 | 3 | -12/+19 |
| | | | | | Package-Manager: portage-2.1.10.60/cvs/Linux x86_64 | ||||
| * | Fix bug 414709. Thanks Jean-Francis Roy for the solution. | Thomas Kahle | 2012-05-13 | 3 | -5/+198 |
| | | | | | Package-Manager: portage-2.1.10.57/cvs/Linux x86_64 | ||||
| * | New package: Machine Learning PYthon (mlpy) is a high-performance Python ↵ |   Donnie Berkholz | 2012-05-11 | 4 | -0/+54 |
| | | | | | | | library for predictive modeling. Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | examples are not configured, only installed (fixing bug #415349) together ↵ | Sebastien Fabbro | 2012-05-10 | 4 | -94/+16 |
| | | | | | | | with demos. lapack dependency is removed, only used for examples. Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | ||||
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-09 | 3 | -5/+18 |
| | | | | | Package-Manager: portage-2.2.0_alpha102/cvs/Linux x86_64 | ||||
| * | Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029) | Sebastien Fabbro | 2012-05-08 | 4 | -4/+31 |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | ||||
| * | Version bump. Optimize python module only when python is selected (bug #356975) | Sebastien Fabbro | 2012-05-08 | 7 | -176/+95 |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | ||||
| * | bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583) | Thomas Kahle | 2012-05-04 | 7 | -125/+79 |
| | | | | | Package-Manager: portage-2.1.10.57/cvs/Linux x86_64 | ||||
| * | dev-util/pkgconfig -> virtual/pkgconfig | Jeff Horelick | 2012-05-04 | 11 | -153/+35 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux i686 | ||||
| * | dev-util/pkgconfig -> virtual/pkgconfig | Jeff Horelick | 2012-05-04 | 35 | -71/+111 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux i686 | ||||
| * | sci-mathematics/gimps: Fix checksums again, #414073 | Justin Lecher | 2012-05-02 | 2 | -7/+10 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/gimps: Fix Upstream stupidity in changing the tarball ↵ | Justin Lecher | 2012-04-30 | 5 | -41/+44 |
| | | | | | | | without version change, #414073 Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/gimps: Version Bump, #413699 | Justin Lecher | 2012-04-27 | 4 | -13/+94 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/axiom: Moved to EAPI=4, dropped unnecessary die | Justin Lecher | 2012-04-25 | 3 | -17/+18 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/drgeo: Moved to EAPI=4, dropped unnessecary die | Justin Lecher | 2012-04-25 | 5 | -31/+33 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/nusmv: Drop unnessecary die | Justin Lecher | 2012-04-25 | 5 | -18/+22 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | sci-mathematics/yacas: -v | Justin Lecher | 2012-04-25 | 7 | -143/+28 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
| * | Update to use mirror://. |   Michał Górny | 2012-04-24 | 2 | -18/+22 |
| | | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 Manifest-Sign-Key: 0x42B9401D | ||||
| * | Update to use mirror://. | Michał Górny | 2012-04-24 | 8 | -15/+23 |
| | | | | | Package-Manager: portage-2.2.0_alpha101/cvs/Linux x86_64 | ||||
GitWeb