| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |||||
| * | Bump to 2.12 | Thomas Kahle | 2012-04-20 | 4 | -6/+109 | |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | Version bump | Sebastien Fabbro | 2012-04-18 | 3 | -6/+89 | |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | |||||
| * | Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ↵ | Thomas Kahle | 2012-04-16 | 7 | -215/+55 | |
| | | | | | | | remove old. Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | Version bump | Sebastien Fabbro | 2012-04-16 | 2 | -25/+13 | |
| | | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360 | |||||
| * | Version bump | Sebastien Fabbro | 2012-04-16 | 5 | -144/+34 | |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | |||||
| * | Stable for amd64, wrt bug #412179 | Agostino Sarubbo | 2012-04-16 | 3 | -17/+10 | |
| | | | | | Package-Manager: portage-2.1.10.49/cvs/Linux x86_64 | |||||
| * | Move EAPI assignment to top of ebuild, bug 411875. |   Ulrich Müller | 2012-04-13 | 2 | -16/+36 | |
| | | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 Manifest-Sign-Key: 0x7DC6EA25 | |||||
| * | Move EAPI assignment to top of ebuild, bug 411875. | Ulrich Müller | 2012-04-13 | 8 | -18/+26 | |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | Bump to 0.9.0 | Thomas Kahle | 2012-04-13 | 3 | -8/+63 | |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps | Mark Wright | 2012-04-13 | 4 | -8/+34 | |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | Fix agda 2.3.0.1 build with mtl-2.1 | Mark Wright | 2012-04-13 | 4 | -15/+23 | |
| | | | | | Package-Manager: portage-2.1.10.56/cvs/Linux x86_64 | |||||
| * | Fix python3 generation (bug #411699), add vtk flag to avoid automagic, ↵ | Sebastien Fabbro | 2012-04-12 | 5 | -21/+69 | |
| | | | | | | | prefix fixes for liffi and messages Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 | |||||
| * | Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for ↵ |   Andrey Grozin | 2012-04-05 | 8 | -16/+251 | |
| | | | | | | | the ebuild. Closing #406509. Package-Manager: portage-2.2.0_alpha99/cvs/Linux i686 | |||||
| * | Version bump | Andrey Grozin | 2012-04-05 | 5 | -2/+283 | |
| | | | | | Package-Manager: portage-2.2.0_alpha99/cvs/Linux i686 | |||||
| * | Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0 | Mark Wright | 2012-04-01 | 4 | -7/+39 | |
| | | | | | Package-Manager: portage-2.1.10.52/cvs/Linux x86_64 | |||||
| * | Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521 |   Brent Baude | 2012-03-26 | 3 | -17/+10 | |
| | | | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64 | |||||
| * | Marked ~x86-macos |   Fabian Groffen | 2012-03-25 | 3 | -10/+13 | |
| | | | | | Package-Manager: portage-2.2.01.20271-prefix/cvs/Darwin i386 | |||||
GitWeb