summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-316-6/+622
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...Mark Wright2013-08-233-19/+14
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-6/+138
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-233-9/+12
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-194-17/+21
* remove oldAlexis Ballier2013-08-198-467/+10
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to J...Mark Wright2013-08-173-19/+19
* Fix homepage and build directorySebastien Fabbro2013-08-124-15/+19
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-114-43/+26
* Version bumpSebastien Fabbro2013-08-065-7/+128
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-044-0/+107
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-033-17/+91
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-273-18/+21
* bump to 2.10.1, remove oldThomas Kahle2013-07-274-83/+25
* relax Normaliz depThomas Kahle2013-07-273-10/+13
* Fix Qt dependencies.Michael Palimaka2013-07-233-8/+16
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-213-9/+22
* Cleanup due #473480Pacho Ramos2013-07-213-18/+28
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-183-25/+9
* Fix wrong usage of EPREFIXThomas Kahle2013-07-183-9/+12
* Keyword ~arm.Chí-Thanh Christopher Nguyễn2013-07-184-18/+12
* Import patches from Debian (upstream stalled). Fixed Qt dependencies (bug #47...Sebastien Fabbro2013-07-1613-20/+462
* version bumpJulian Ospald2013-07-167-9/+376
* fix building with boost-1.53 wrt #476274Julian Ospald2013-07-154-13/+83
* Version bumpSebastien Fabbro2013-07-093-18/+86
* Add pdf documentation hidden as .tex in the sourcePatrick Lauer2013-07-053-5/+11
* Fixed #473102 - depend on <texinfo-5.0 againAndrey Grozin2013-07-014-256/+26
* Remove futile pkg_setup phasePatrick Lauer2013-07-013-15/+7
* Stable for ppc64, wrt bug #473850Agostino Sarubbo2013-06-293-18/+21
* sci-mathematics/genius: Version Bump; drop oldJustin Lecher2013-06-285-90/+44
* Add correct python:2.7 depThomas Kahle2013-06-283-16/+14
* Version bumpAndrey Grozin2013-06-267-176/+35
* Stable for amd64, wrt bug #473564Agostino Sarubbo2013-06-253-18/+21
* Stable for amd64, wrt bug #473850Agostino Sarubbo2013-06-253-18/+21
* Stable for x86, wrt bug #473564Agostino Sarubbo2013-06-253-9/+22
* Stable for x86, wrt bug #473850Agostino Sarubbo2013-06-253-19/+22
* Respect users AR tool (bug 474532)Thomas Kahle2013-06-253-8/+14
* Depend on glpk slot 0 (bug 473380)Thomas Kahle2013-06-244-21/+24
* Stable for ppc, wrt bug #473850Agostino Sarubbo2013-06-243-10/+23
* Stable for HPPA (bug #473850).Jeroen Roovers2013-06-233-8/+11
* Remove version with already removed dependenciesPatrick Lauer2013-06-203-47/+6
* More texinfo fix, thanks Caster Ti.Vector (bug #473756)Sebastien Fabbro2013-06-196-379/+60
* Drop old.Sergei Trofimovich2013-06-193-92/+11
* Small linking fix #473580, works unconditionallyPatrick Lauer2013-06-183-14/+8
* Updated slot for change of sonameSebastien Fabbro2013-06-163-8/+11
* Version bumpSebastien Fabbro2013-06-143-6/+62
* Version bump, also closing bug #472362, thanks Martin von Gagern and Francois...Sebastien Fabbro2013-06-115-18/+1016
* Improvements from the sage-on-maxima overlay: texinfo-5.x is OK, ecls library...Andrey Grozin2013-06-054-35/+278
* Switch to EAPI5, autotools-utils, keywords amd64-linux and x86-linuxSebastien Fabbro2013-06-043-30/+41
* Add patch from bug 465490 to make it work with newer gtksourceviewThomas Kahle2013-05-304-7/+37