Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* Add unit file (#499120 by Paolo Pedroni)Pacho Ramos2014-02-151-4/+7
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
* Add unit file (#499120 by Paolo Pedroni)Pacho Ramos2014-02-154-1/+89
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with ↵Mark Wright2014-02-111-6/+6
| | | | | | JAVA_PKG_STRICT, fix by me. Remove dosym which was a workaround to EAPI 5 subslot depends that has since been fixed in the java eclasses. (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with ↵Mark Wright2014-02-112-5/+36
| | | | | | JAVA_PKG_STRICT, fix by me. Remove dosym which was a workaround to EAPI 5 subslot depends that has since been fixed in the java eclasses. (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* bump to 28.3Thomas Kahle2014-02-071-4/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* bump to 28.3Thomas Kahle2014-02-072-2/+71
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Version bump, bug #500510Sebastien Fabbro2014-02-061-7/+7
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump, bug #500510Sebastien Fabbro2014-02-062-15/+22
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed bug #420095 when mariadb is selected, thanks Dennis Schridde for his patchSebastien Fabbro2014-02-051-8/+9
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fixed bug #420095 when mariadb is selected, thanks Dennis Schridde for his patchSebastien Fabbro2014-02-055-6/+32
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix the library version of the ecls maxima needed by sage (bug #499634), ↵Andrey Grozin2014-01-291-15/+17
| | | | | | thanks to Martin von Gagern <Martin.vGagern@gmx.net> (Portage version: 2.2.8-r1/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Fix the library version of the ecls maxima needed by sage (bug #499634), ↵Andrey Grozin2014-01-293-1/+235
| | | | | | thanks to Martin von Gagern <Martin.vGagern@gmx.net> (Portage version: 2.2.8-r1/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-271-18/+16
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/pari: Drop oldJustin Lecher2014-01-273-144/+10
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-261-7/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="sparc", signed Manifest commit with key 7194459F)
* Stable for sparc, wrt bug #494330Agostino Sarubbo2014-01-262-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="sparc", signed Manifest commit with key 7194459F)
* x86 stable wrt bug #494330Mikle Kolyada2014-01-241-15/+7
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0xC42EB5D6)
* x86 stable wrt bug #494330Mikle Kolyada2014-01-242-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0xC42EB5D6)
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-231-10/+22
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/coq: Version Bump, fixes problems with make-4, #493144Justin Lecher2014-01-236-20/+117
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Add keywords and fix setting SPatrick Lauer2014-01-231-2/+2
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, unsigned Manifest commit)
* Add keywords and fix setting SPatrick Lauer2014-01-232-7/+6
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, unsigned Manifest commit)
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-201-15/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Stable for ppc, wrt bug #494330Agostino Sarubbo2014-01-202-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-191-15/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="ppc64", signed Manifest commit with key 7194459F)
* Stable for ppc64, wrt bug #494330Agostino Sarubbo2014-01-192-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="ppc64", signed Manifest commit with key 7194459F)
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-182-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="alpha", signed Manifest commit with key 7194459F)
* Stable for alpha, wrt bug #494330Agostino Sarubbo2014-01-181-5/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="alpha", signed Manifest commit with key 7194459F)
* amd64 stable, bug #494330Pacho Ramos2014-01-181-5/+5
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key A188FBD4)
* amd64 stable, bug #494330Pacho Ramos2014-01-182-5/+8
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key A188FBD4)
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-161-5/+15
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Ubundle amd, colamd and zlib, removed oldSebastien Fabbro2014-01-166-61/+139
| | | | (Portage version: 2.2.8-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Apply patch from upstream to fix twelf build with mlton-20130715. Add ↵Mark Wright2014-01-151-16/+7
| | | | | | -fno-PIE to fix compile with mlton-20130715 on Gentoo hardened. (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Apply patch from upstream to fix twelf build with mlton-20130715. Add ↵Mark Wright2014-01-153-30/+446
| | | | | | -fno-PIE to fix compile with mlton-20130715 on Gentoo hardened. (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* BumpPatrick Lauer2014-01-141-3/+3
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, unsigned Manifest commit)
* BumpPatrick Lauer2014-01-142-5/+11
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, unsigned Manifest commit)
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-131-11/+4
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key )
* NMU: Version bump. Fixes bug #478496.Manuel Rüger2014-01-133-2/+152
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key )
* Version bumpAndrey Grozin2014-01-111-16/+18
| | | | (Portage version: 2.2.8/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* Version bumpAndrey Grozin2014-01-112-2/+206
| | | | (Portage version: 2.2.8/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; ↵Justin Lecher2014-01-081-16/+16
| | | | | | Respect CC (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; ↵Justin Lecher2014-01-082-6/+16
| | | | | | Respect CC (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* [QA] Change !use by ! use such that it negates the USE flag instead of ↵Tom Wijsman2014-01-071-8/+12
| | | | | | expanding history. Revision bump to ensure users get the fix accordingly. (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)
* [QA] Change !use by ! use such that it negates the USE flag instead of ↵Tom Wijsman2014-01-074-11/+21
| | | | | | expanding history. Revision bump to ensure users get the fix accordingly. (Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-061-8/+18
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/twelf: Punt base.eclassJustin Lecher2014-01-063-37/+40
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+17
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/cgal: Drop old; punt base.eclassJustin Lecher2014-01-066-229/+18
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-061-16/+14
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/octave: Drop old; punt base.eclassJustin Lecher2014-01-062-107/+5
| | | | (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)