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
* remove oldThomas Kahle2013-09-141-16/+10
| | | | (Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* remove oldThomas Kahle2013-09-145-203/+6
| | | | (Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-131-4/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Patch agda 2.3.2.1 for haskell-src-exts 1.14Mark Wright2013-09-133-1/+144
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-131-5/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-132-1/+65
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-131-1/+12
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda-executable must be rebuilt when agda is upgradedMark Wright2013-09-132-1/+42
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* bump to 1.6Thomas Kahle2013-09-111-15/+7
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* bump to 1.6Thomas Kahle2013-09-112-1/+42
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* WhitespacePatrick Lauer2013-09-101-12/+2
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, unsigned Manifest commit)
* WhitespacePatrick Lauer2013-09-102-3/+5
| | | | (Portage version: 2.2.2/cvs/Linux x86_64, unsigned Manifest commit)
* Version bumpSebastien Fabbro2013-09-041-5/+7
| | | | (Portage version: 2.2.01.22288-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2013-09-042-1/+53
| | | | (Portage version: 2.2.01.22288-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-011-5/+5
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
* Fix SRC_URI and HOMEPAGE (case-sensitive).Zac Medico2013-09-012-4/+7
| | | | (Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-311-5/+12
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump isabelle to 2013, fixes bug 468344Mark Wright2013-08-315-1/+610
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-231-5/+5
| | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir ↵Mark Wright2013-08-232-14/+9
| | | | | | unecessary, dobin and doman take multiple arguments, dohtml estyle.sty). (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-4/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-2/+132
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-6/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-232-3/+6
| | | | (Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-191-6/+6
| | | | (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* eapi5 and add := dep on ocaml pacakgesAlexis Ballier2013-08-193-11/+15
| | | | (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2013-08-191-14/+4
| | | | (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2013-08-197-453/+6
| | | | (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to ↵Mark Wright2013-08-171-6/+6
| | | | | | JAVA_GENTOO_CLASSPATH. Try to fix bug #458462 - it merges ok with JAVA_PKG_STRICT="true" in my tests. (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix: Class files not found via DEPEND in package.env - by adding antlr-3 to ↵Mark Wright2013-08-172-13/+13
| | | | | | JAVA_GENTOO_CLASSPATH. Try to fix bug #458462 - it merges ok with JAVA_PKG_STRICT="true" in my tests. (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix homepage and build directorySebastien Fabbro2013-08-121-7/+7
| | | | (Portage version: 2.2.01.22124-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix homepage and build directorySebastien Fabbro2013-08-123-8/+12
| | | | (Portage version: 2.2.01.22124-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-111-16/+15
| | | | (Portage version: 2.2.0_alpha196/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/4ti2: Drop oldJustin Lecher2013-08-113-27/+11
| | | | (Portage version: 2.2.0_alpha196/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Version bumpSebastien Fabbro2013-08-061-5/+9
| | | | (Portage version: 2.2.01.22124-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2013-08-064-2/+119
| | | | (Portage version: 2.2.01.22124-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-041-0/+14
| | | | (Portage version: 2.1.13.1/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Initial ebuild for sci-mathematics/bertiniThomas Kahle2013-08-043-0/+93
| | | | (Portage version: 2.1.13.1/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-031-16/+8
| | | | (Portage version: 2.2.0_alpha191/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump coq to 8.4pl2 / coq-8.4_p2.Mark Wright2013-08-032-1/+83
| | | | (Portage version: 2.2.0_alpha191/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-271-15/+15
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for x86, wrt bug #477148Agostino Sarubbo2013-07-272-3/+6
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* bump to 2.10.1, remove oldThomas Kahle2013-07-271-19/+6
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* bump to 2.10.1, remove oldThomas Kahle2013-07-273-64/+19
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* relax Normaliz depThomas Kahle2013-07-271-6/+6
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* relax Normaliz depThomas Kahle2013-07-272-4/+7
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
* Fix Qt dependencies.Michael Palimaka2013-07-231-5/+9
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Fix Qt dependencies.Michael Palimaka2013-07-232-3/+7
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-211-6/+16
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #477148Agostino Sarubbo2013-07-212-3/+6
| | | | (Portage version: 2.1.12.13/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)