Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* remove oldThomas Kahle2013-09-146-219/+16
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-134-5/+151
* Bump agda-stdlib to 0.7Mark Wright2013-09-133-6/+72
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-133-2/+54
* bump to 1.6Thomas Kahle2013-09-113-16/+49
* WhitespacePatrick Lauer2013-09-103-15/+7
* Version bumpSebastien Fabbro2013-09-043-6/+60
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-013-9/+12
* 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