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
* Add unit file (#499120 by Paolo Pedroni)Pacho Ramos2014-02-151-4/+7
* Add unit file (#499120 by Paolo Pedroni)Pacho Ramos2014-02-154-1/+89
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_S...Mark Wright2014-02-111-6/+6
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with JAVA_PKG_S...Mark Wright2014-02-112-5/+36
* bump to 28.3Thomas Kahle2014-02-071-4/+6
* bump to 28.3Thomas Kahle2014-02-072-2/+71
* Version bump, bug #500510Sebastien Fabbro2014-02-061-7/+7
* Version bump, bug #500510Sebastien Fabbro2014-02-062-15/+22
* Fixed bug #420095 when mariadb is selected, thanks Dennis Schridde for his patchSebastien Fabbro2014-02-051-8/+9
* Fixed bug #420095 when mariadb is selected, thanks Dennis Schridde for his patchSebastien Fabbro2014-02-055-6/+32
* Fix the library version of the ecls maxima needed by sage (bug #499634), than...Andrey Grozin2014-01-291-15/+17
* Fix the library version of the ecls maxima needed by sage (bug #499634), than...Andrey Grozin2014-01-293-1/+235
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-271-18/+16
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-273-144/+10
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-261-7/+15
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-262-3/+6
* x86 stable wrt bug #494330Mikle Kolyada2014-01-241-15/+7
* x86 stable wrt bug #494330Mikle Kolyada2014-01-242-3/+6
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-231-10/+22
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-236-20/+117
* Add keywords and fix setting SPatrick Lauer2014-01-231-2/+2
* Add keywords and fix setting SPatrick Lauer2014-01-232-7/+6
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-201-15/+15
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-202-3/+6
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-191-15/+15
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-192-3/+6
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-182-3/+6
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-181-5/+15
* amd64 stable, bug #494330Pacho Ramos2014-01-181-5/+5
* amd64 stable, bug #494330Pacho Ramos2014-01-182-5/+8
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-161-5/+15
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-166-61/+139
* Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...Mark Wright2014-01-151-16/+7
* Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI...Mark Wright2014-01-153-30/+446
* BumpPatrick Lauer2014-01-141-3/+3
* BumpPatrick Lauer2014-01-142-5/+11
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-131-11/+4
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-133-2/+152
* Version bumpAndrey Grozin2014-01-111-16/+18
* Version bumpAndrey Grozin2014-01-112-2/+206
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-081-16/+16
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-082-6/+16
* [QA] Change !use by ! use such that it negates the USE flag instead of expand...Tom Wijsman2014-01-071-8/+12
* [QA] Change !use by ! use such that it negates the USE flag instead of expand...Tom Wijsman2014-01-074-11/+21
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-061-8/+18
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-063-37/+40
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+17
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-066-229/+18
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+14
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-062-107/+5