summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-311-5/+12
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-315-1/+610
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-231-5/+5
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-232-14/+9
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-4/+6
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-2/+132
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-6/+6
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-3/+6
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-191-6/+6
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-193-11/+15
* remove oldAlexis Ballier2013-08-191-14/+4
* remove oldAlexis Ballier2013-08-197-453/+6
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-171-6/+6
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-172-13/+13
* Fix homepage and build directorySebastien Fabbro2013-08-121-7/+7
* Fix homepage and build directorySebastien Fabbro2013-08-123-8/+12
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-111-16/+15
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-113-27/+11
* Version bumpSebastien Fabbro2013-08-061-5/+9
* Version bumpSebastien Fabbro2013-08-064-2/+119
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-041-0/+14
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-043-0/+93
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-031-16/+8
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-032-1/+83
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-271-15/+15
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-272-3/+6
* bump to 2.10.1, remove oldThomas Kahle2013-07-271-19/+6
* bump to 2.10.1, remove oldThomas Kahle2013-07-273-64/+19
* relax Normaliz depThomas Kahle2013-07-271-6/+6
* relax Normaliz depThomas Kahle2013-07-272-4/+7
* Fix Qt dependencies.Michael Palimaka2013-07-231-5/+9
* Fix Qt dependencies.Michael Palimaka2013-07-232-3/+7
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-211-6/+16
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-212-3/+6
* Cleanup due #473480Pacho Ramos2013-07-211-13/+23
* Cleanup due #473480Pacho Ramos2013-07-212-5/+5
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-181-22/+2
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-182-3/+7
* Fix wrong usage of EPREFIXThomas Kahle2013-07-181-6/+6
* Fix wrong usage of EPREFIXThomas Kahle2013-07-182-3/+6
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-181-13/+3
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-183-5/+9
* Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47...Sebastien Fabbro2013-07-161-19/+17
* Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47...Sebastien Fabbro2013-07-1612-1/+445
* version bumpJulian Ospald2013-07-161-8/+14
* version bumpJulian Ospald2013-07-166-1/+362
* fix building with boost-1.53 wrt #476274Julian Ospald2013-07-151-10/+11
* fix building with boost-1.53 wrt #476274Julian Ospald2013-07-153-3/+72
* Version bumpSebastien Fabbro2013-07-091-17/+8
* Version bumpSebastien Fabbro2013-07-092-1/+78