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
* Fix TypoJustin Lecher2015-04-071-15/+15
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix TypoJustin Lecher2015-04-071-2/+2
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix TypoJustin Lecher2015-04-071-15/+15
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix TypoJustin Lecher2015-04-071-2/+2
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix TypoJustin Lecher2015-04-071-18/+18
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix TypoJustin Lecher2015-04-071-2/+2
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix ntl compatibility (bug 545318)Thomas Kahle2015-04-051-5/+6
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Fix ntl compatibility (bug 545318)Thomas Kahle2015-04-053-4/+22
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Remove old.Michael Palimaka2015-04-041-19/+16
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 0x06B1F38DCA45A1EC!)
* Remove old.Michael Palimaka2015-04-043-167/+6
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 0x06B1F38DCA45A1EC!)
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-041-5/+5
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-042-4/+8
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-031-2/+13
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-033-3/+123
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Restrict ntl dep #545318Patrick Lauer2015-04-031-12/+2
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, unsigned Manifest commit)
* Restrict ntl dep #545318Patrick Lauer2015-04-032-3/+6
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, unsigned Manifest commit)
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-021-17/+7
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-022-2/+74
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* x86 stable wrt bug #406773Mikle Kolyada2015-03-291-15/+7
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 0xC42EB5D6)
* x86 stable wrt bug #406773Mikle Kolyada2015-03-292-3/+6
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 0xC42EB5D6)
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-271-2/+22
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-272-5/+8
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-271-10/+16
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-272-5/+8
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Fix ntl8 compatibilityThomas Kahle2015-03-261-5/+6
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Fix ntl8 compatibilityThomas Kahle2015-03-263-3/+46
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* restrict ntl depThomas Kahle2015-03-261-18/+8
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* restrict ntl depThomas Kahle2015-03-265-10/+16
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Restrict ntl depThomas Kahle2015-03-261-5/+5
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Restrict ntl depThomas Kahle2015-03-262-2/+6
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-251-15/+15
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-252-3/+6
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download ↵Mark Wright2015-03-251-8/+8
| | | | | | 'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file. (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download ↵Mark Wright2015-03-255-12/+18
| | | | | | 'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file. (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-241-5/+15
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-242-5/+8
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* remove oldThomas Kahle2015-03-221-24/+1
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* remove oldThomas Kahle2015-03-223-320/+5
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-221-15/+15
| | | | (Portage version: 2.2.14/cvs/Linux i686, signed Manifest commit with key 60373227)
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-222-5/+8
| | | | (Portage version: 2.2.14/cvs/Linux i686, signed Manifest commit with key 60373227)
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to ↵Justin Lecher2015-03-211-7/+19
| | | | | | epatch (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to ↵Justin Lecher2015-03-212-14/+21
| | | | | | epatch (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-211-8/+29
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-214-108/+37
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix desktop fileJustin Lecher2015-03-201-7/+19
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Fix desktop fileJustin Lecher2015-03-202-3/+5
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-131-5/+7
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-133-1/+105
| | | | (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
* Fix prefix paths #466852Patrick Lauer2015-03-111-2/+2
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, unsigned Manifest commit)
* Fix prefix paths #466852Patrick Lauer2015-03-112-6/+9
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, unsigned Manifest commit)