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
* Stable for amd64, wrt bug #406779Agostino Sarubbo2015-03-273-7/+30
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* Stable for amd64, wrt bug #537864Agostino Sarubbo2015-03-273-15/+24
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* Fix ntl8 compatibilityThomas Kahle2015-03-264-8/+52
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* restrict ntl depThomas Kahle2015-03-266-28/+24
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Restrict ntl depThomas Kahle2015-03-263-7/+11
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Stable for x86, wrt bug #542270Agostino Sarubbo2015-03-253-18/+21
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download ↵Mark Wright2015-03-256-20/+26
| | | | | | | 'Isabelle2013-2.tar.gz'. Aborting. Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file. Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Stable for amd64, wrt bug #542572Agostino Sarubbo2015-03-243-10/+23
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* remove oldThomas Kahle2015-03-224-344/+6
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* x86 stable, see bug 511442. Thanks Myckel Habets for testing.Andreas Schuerch2015-03-223-20/+23
| | | | | Package-Manager: portage-2.2.14/cvs/Linux i686 Manifest-Sign-Key: 0x60373227
* use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to ↵Justin Lecher2015-03-213-21/+40
| | | | | | | epatch Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* use dobin instead of exeinto /usr/bin/ && doexeJustin Lecher2015-03-215-116/+66
| | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Fix desktop fileJustin Lecher2015-03-203-10/+24
| | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Various improvements, thanks Benjamin Lorenz.Thomas Kahle2015-03-134-6/+112
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Fix prefix paths #466852Patrick Lauer2015-03-113-8/+11
| | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64
* Fix missing dep on cddlib (542746)Thomas Kahle2015-03-103-8/+12
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* bump to 4.0.2Thomas Kahle2015-03-094-20/+172
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Stable for amd64, wrt bug #542270Agostino Sarubbo2015-03-093-8/+21
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* Version Bump, fixes problems with format security, #542666Justin Lecher2015-03-094-16/+78
| | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Version bumpAndrey Grozin2015-03-073-21/+27
| | | | | Package-Manager: portage-2.2.18/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Bump to 2.14Thomas Kahle2015-03-053-5/+71
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Drop RESTRICT=binchecks in favour of QA_Justin Lecher2015-03-054-28/+30
| | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Fix gcc-4.9 compatibility (bug 541238)Thomas Kahle2015-03-034-10/+84
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Fix gcc-4.9 build (541364)Thomas Kahle2015-03-014-7/+24
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Patch rstudio-0.98.1091 to build with boost 1.57Mark Wright2015-02-2811-50/+119
| | | | | Package-Manager: portage-2.2.17/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Version BUmp, #532906; fix missing slot Operators and inheritsJustin Lecher2015-02-276-33/+101
| | | | | Package-Manager: portage-2.2.17/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Drop ~alpha because of a number of non-keyworded deps.Michał Górny2015-02-223-21/+24
| | | | | Package-Manager: portage-2.2.17/cvs/Linux x86_64 Manifest-Sign-Key: 0xEFB4464E!
* amd64/x86 stable, bug #540522Pacho Ramos2015-02-223-22/+15
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xA188FBD4
* Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, ↵Mark Wright2015-02-156-13/+74
| | | | | | | patch from upstream: http://lists.gforge.inria.fr/pipermail/coq-commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc Package-Manager: portage-2.2.17/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Stable for amd64, wrt bug #406773Agostino Sarubbo2015-01-313-23/+24
| | | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-306-104/+13
| | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64
* Switch to CPU_FLAGS_X86.Michał Górny2015-01-294-21/+37
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xEFB4464E!
* Bump to 2.12.2, cleanupThomas Kahle2015-01-295-110/+18
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x565C32BC
* Drop old patchesMark Wright2015-01-297-128/+18
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Drop old with now unsatisfied dep on dev-haskell/hashtablesPatrick Lauer2015-01-296-377/+7
| | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64
* Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot ↵Mark Wright2015-01-256-19/+629
| | | | | | | dependencies for java packages. Add upper range dependency <dev-lang/scala-2.11.1 to 2013-r1. Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fix imagemagick/graphicsmagick sub-SLOT deps.Jeroen Roovers2015-01-074-26/+20
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Use python-any-r1 for waf.Michał Górny2015-01-033-11/+33
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xEFB4464E!
* Rename virtual/postgresql to dev-db/postgresqlAaron Swenson2014-12-284-11/+15
| | | | | Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0xD1BBFDA0
* sci-mathematics/genius: Version BUmp, #523604; fix SRC_URI, thanks leioJustin Lecher2014-12-264-20/+84
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* 5.35.1 tarball contains a wrong sys-proclaim.lisp; re-generate it (only ↵Andrey Grozin2014-12-253-19/+30
| | | | | | | affects gcl) Package-Manager: portage-2.2.15/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Adding a missing patch (#533202)Andrey Grozin2014-12-223-16/+48
| | | | | Package-Manager: portage-2.2.15/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Version bumpAndrey Grozin2014-12-207-28/+328
| | | | | Package-Manager: portage-2.2.15/cvs/Linux i686 Manifest-Sign-Key: 0x3AFFCE974D34BD8C!
* Bump agda-stdlib to 0.9Mark Wright2014-12-143-6/+80
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Bump agda to 2.4.2.2-r1Mark Wright2014-12-144-7/+143
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* drop python-r1 eclass; fix dependencies; fix llvm configuration wrt bug #531316Matthias Maier2014-12-064-23/+73
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xBD3A97A3
* Bump rstudio to 0.98.1091. Fix Bug 519290 sci-mathematics/rstudio-0.98.490 - ↵Mark Wright2014-12-0615-171/+391
| | | | | | | rstudio-server start: /usr/bin/rstudio-server: 1: eval: /etc/init.d/rstudio-server: not found, thanks to Franz Fellner for reporting, Adam Tygart and Franz Fellner for suggesting the fix, Silvio for testing. Fix Bug 522196 - sci-mathematics/rstudio lack of server part and two more conf files, thanks to Silvio for reporting and providing the conf files. Fix Bug 523296 - sci-mathematics/rstudio-0.98-1028 with dev-libs/boost-1.56.0 - .../work/rstudio-0.98.1028/src/cpp/core/Assert.cpp:40:10: error: boost::core::log has not been declared. paxmark m rstudio for Gentoo Hardened. Add missing dependencies app-text/pandoc and dev-haskell/pandoc-citeproc to rstudio-0.98.1028.ebuild. Remove obsolete rstudio-0.97.318.ebuild, as the this failed to build in my tests. Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* sci-mathematics/singular: Drop oldJustin Lecher2014-12-058-926/+33
| | | | | Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0xB9D4F231BD1558AB!
* Stable for x86, wrt bug #529536Agostino Sarubbo2014-12-053-18/+21
| | | | | | Package-Manager: portage-2.2.8-r2/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Stable for ppc64, wrt bug #528002Agostino Sarubbo2014-12-043-18/+21
| | | | | | Package-Manager: portage-2.2.8-r2/cvs/Linux x86_64 RepoMan-Options: --include-arches="ppc64" Manifest-Sign-Key: 0x7194459F