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 old.Michael Palimaka2015-04-041-19/+16
* Remove old.Michael Palimaka2015-04-043-167/+6
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-041-5/+5
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-042-4/+8
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-031-2/+13
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-033-3/+123
* Restrict ntl dep #545318Patrick Lauer2015-04-031-12/+2
* Restrict ntl dep #545318Patrick Lauer2015-04-032-3/+6
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-021-17/+7
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-022-2/+74
* x86 stable wrt bug #406773Mikle Kolyada2015-03-291-15/+7
* x86 stable wrt bug #406773Mikle Kolyada2015-03-292-3/+6
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-271-2/+22
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-272-5/+8
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-271-10/+16
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-272-5/+8
* Fix ntl8 compatibilityThomas Kahle2015-03-261-5/+6
* Fix ntl8 compatibilityThomas Kahle2015-03-263-3/+46
* restrict ntl depThomas Kahle2015-03-261-18/+8
* restrict ntl depThomas Kahle2015-03-265-10/+16
* Restrict ntl depThomas Kahle2015-03-261-5/+5
* Restrict ntl depThomas Kahle2015-03-262-2/+6
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-251-15/+15
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-252-3/+6
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell...Mark Wright2015-03-251-8/+8
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell...Mark Wright2015-03-255-12/+18
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-241-5/+15
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-242-5/+8
* remove oldThomas Kahle2015-03-221-24/+1
* remove oldThomas Kahle2015-03-223-320/+5
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-221-15/+15
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-222-5/+8
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to e...Justin Lecher2015-03-211-7/+19
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to e...Justin Lecher2015-03-212-14/+21
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-211-8/+29
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-214-108/+37
* Fix desktop fileJustin Lecher2015-03-201-7/+19
* Fix desktop fileJustin Lecher2015-03-202-3/+5
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-131-5/+7
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-133-1/+105
* Fix prefix paths #466852Patrick Lauer2015-03-111-2/+2
* Fix prefix paths #466852Patrick Lauer2015-03-112-6/+9
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-101-5/+5
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-102-3/+7
* bump to 4.0.2Thomas Kahle2015-03-091-18/+10
* bump to 4.0.2Thomas Kahle2015-03-093-2/+162
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-091-5/+15
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-092-3/+6
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-091-8/+22
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-093-8/+56