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
* Port to upcoming ghc-7.10.Sergei Trofimovich2015-06-013-10/+13
* Stable for x86, wrt bug #549972Agostino Sarubbo2015-05-273-18/+21
* Stable for amd64, wrt bug #549972Agostino Sarubbo2015-05-273-8/+21
* Bump to 28.6 (bug 549972)Thomas Kahle2015-05-253-19/+81
* sys-proclaim is now on unconditionally, closing #548060Andrey Grozin2015-05-033-23/+22
* Version bumpAndrey Grozin2015-05-013-21/+27
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o...Mark Wright2015-05-013-4/+22
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu...Mark Wright2015-05-013-35/+29
* WhitespacePatrick Lauer2015-04-293-5/+7
* BumpPatrick Lauer2015-04-293-3/+51
* Change repository location for -9999Patrick Lauer2015-04-293-7/+11
* Changing wxMaxima -> wxmaxima in new places, #547548Andrey Grozin2015-04-283-20/+31
* Fix collision (bug 547030), remove old.Thomas Kahle2015-04-265-116/+24
* remove oldThomas Kahle2015-04-246-203/+11
* Drop oldJustin Lecher2015-04-2211-652/+19
* Drop oldJustin Lecher2015-04-2226-2470/+94
* ppc stable wrt bug #406779Pacho Ramos2015-04-213-8/+11
* ppc stable wrt bug #406773Pacho Ramos2015-04-213-21/+12
* x86 stable wrt bug #406779Pacho Ramos2015-04-213-21/+12
* x86 stable wrt bug #542666Pacho Ramos2015-04-213-18/+11
* x86 stable wrt bug #542572Pacho Ramos2015-04-213-20/+11
* Remove old.Michael Palimaka2015-04-198-158/+23
* Stable for amd64, wrt bug #542666Agostino Sarubbo2015-04-193-22/+23
* x86 stable wrt bug #537864Pacho Ramos2015-04-193-18/+11
* x86 stable wrt bug #516464Pacho Ramos2015-04-183-8/+11
* Slot scalaMark Wright2015-04-176-39/+51
* Version bumpAndrey Grozin2015-04-163-16/+101
* Version bumpAndrey Grozin2015-04-163-8/+219
* Reworked the solution for the netperf collision, dropped the 'find all execut...Ian Stakenvicius2015-04-144-22/+194
* added REQUIRED_USE to properly support the python-optional distutils-r1 requi...Ian Stakenvicius2015-04-103-10/+18
* Took over package maintainership and restored 4.3 version to the tree with no...Ian Stakenvicius2015-04-106-10/+169
* Drop old Python implementationsMichał Górny2015-04-089-39/+74
* Fix TypoJustin Lecher2015-04-076-54/+54
* Fix ntl compatibility (bug 545318)Thomas Kahle2015-04-054-9/+28
* Remove old.Michael Palimaka2015-04-044-186/+22
* Loosen cpphs dep in agda-2.4.2.2-r1Mark Wright2015-04-043-9/+13
* Fix tests with gmp-6 (bug 545378)Thomas Kahle2015-04-034-5/+136
* Restrict ntl dep #545318Patrick Lauer2015-04-033-15/+8
* Bump to 2.4.5 (542682)Thomas Kahle2015-04-023-19/+81
* x86 stable wrt bug #406773Mikle Kolyada2015-03-293-18/+13
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-273-7/+30
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-273-15/+24
* Fix ntl8 compatibilityThomas Kahle2015-03-264-8/+52
* restrict ntl depThomas Kahle2015-03-266-28/+24
* Restrict ntl depThomas Kahle2015-03-263-7/+11
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-253-18/+21
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell...Mark Wright2015-03-256-20/+26
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-243-10/+23
* remove oldThomas Kahle2015-03-224-344/+6
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-223-20/+23