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
* 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
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to e...Justin Lecher2015-03-213-21/+40
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-215-116/+66
* Fix desktop fileJustin Lecher2015-03-203-10/+24
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-134-6/+112
* Fix prefix paths #466852Patrick Lauer2015-03-113-8/+11
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-103-8/+12
* bump to 4.0.2Thomas Kahle2015-03-094-20/+172
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-093-8/+21
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-094-16/+78
* Version bumpAndrey Grozin2015-03-073-21/+27
* Bump to 2.14Thomas Kahle2015-03-053-5/+71
* Drop RESTRICT=binchecks in favour of QA_Justin Lecher2015-03-054-28/+30
* Fix gcc-4.9 compatibility (bug 541238)Thomas Kahle2015-03-034-10/+84
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-014-7/+24
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-2811-50/+119
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-276-33/+101
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-223-21/+24
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-223-22/+15
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch...Mark Wright2015-02-156-13/+74
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-313-23/+24
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-306-104/+13
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-294-21/+37
* Bump to 2.12.2, cleanupThomas Kahle2015-01-295-110/+18
* Drop old patchesMark Wright2015-01-297-128/+18
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-296-377/+7
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...Mark Wright2015-01-256-19/+629
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-074-26/+20
* Use python-any-r1 for waf.Michał Górny2015-01-033-11/+33
* Rename virtual/postgresql to dev-db/postgresqlAaron Swenson2014-12-284-11/+15
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-264-20/+84
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only affec...Andrey Grozin2014-12-253-19/+30
* Adding a missing patch (#533202)Andrey Grozin2014-12-223-16/+48
* Version bumpAndrey Grozin2014-12-207-28/+328
* Bump agda-stdlib to 0.9Mark Wright2014-12-143-6/+80
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-144-7/+143
* drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316Matthias Maier2014-12-064-23/+73
* Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ...Mark Wright2014-12-0615-171/+391
* sci-mathematics/singular: Drop oldJustin Lecher2014-12-058-926/+33