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
* sci-mathematics/cgal: Stabilize 5.2 amd64, #771270Sam James2021-02-191-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cgal: Drop 4.11.3Andreas Sturmlechner2021-02-182-82/+0
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/ginac: Drop 1.6.6, EAPI5--Andreas Sturmlechner2021-02-162-59/+0
| | | | | | Bug: https://bugs.gentoo.org/766797 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 ppc, #766797Sam James2021-02-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: Port to EAPI 7Jakov Smolic2021-02-152-16/+5
| | | | | | Bug: https://bugs.gentoo.org/770634 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/diagrtb: EAPI-7 bump, use cmake.eclassAndreas Sturmlechner2021-02-142-6/+7
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: fix depAlfredo Tupone2021-02-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/769845 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 amd64, #766797Sam James2021-02-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: version bump to 2020Alfredo Tupone2021-02-095-0/+173
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: bumping back to 8.11.2Alfredo Tupone2021-02-092-0/+91
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/ginac: Stabilize 1.7.11 x86, #766797Sam James2021-02-091-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-082-0/+89
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: add github remote-idSam James2021-02-081-0/+3
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: fix metadata indentationSam James2021-02-081-20/+22
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-4/+6
| | | | | | Bug: https://bugs.gentoo.org/769317 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/wxmaxima: bump to 21.01.0Andrey Grozin2021-02-082-0/+52
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/lrcalc: new version 2.0.Michael Orlitzky2021-02-072-0/+24
| | | | | | | | The upstream release in VCS was a patch bomb, so I've updated the subslot as a precaution. Something probably broke. Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gimps: rename ${I} variable on 30.4.8Joonas Niilola2021-02-031-6/+6
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: Version bump to version 30.4 build 8PPed722021-02-032-0/+74
| | | | | | | | Closes: https://bugs.gentoo.org/764350 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.13, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/18983 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/nestedsums: Drop USE=static-libsJakov Smolic2021-01-311-19/+12
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/19281 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/ginac: Depend on python-any-r1David Seifert2021-01-311-30/+36
| | | | | | | | * Also fix src_test() Closes: https://bugs.gentoo.org/763516 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: David Seifert <soap@gentoo.org>
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-3110-10/+10
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/arb: Stabilize 2.18.1 amd64, #766977Sam James2021-01-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: Stabilize 2.6.3 amd64, #766977Sam James2021-01-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: Stabilize 2.6.3 ppc, #766977Sam James2021-01-251-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmp-ecm: restore dropped ~arm{,64}Sam James2021-01-241-2/+2
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: add myself and François Bissey as maintainers.Michael Orlitzky2021-01-231-12/+26
| | | | | | | | We've been doing the maintenance and bug-fixing on recent versions of flint. Let's make it official. Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: remove "unused" flint-2.7.0.ebuild.Michael Orlitzky2021-01-232-65/+1
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: upstream bump and fix bugsFrançois Bissey2021-01-231-0/+69
| | | | | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Bug: https://bugs.gentoo.org/761736 Bug: https://bugs.gentoo.org/760678 Closes: https://github.com/gentoo/gentoo/pull/19152 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/flint: revert "sci-mathematics/flint: Remove old"Michael Orlitzky2021-01-232-0/+64
| | | | | | | | | | This reverts commit 552bfac6e187598ab2dae1a078df3cdeb4d4500d. Sorry, but we still need flint-2.6.3 for SageMath which hasn't finished upgrading all of the necessary software to support flint-2.7.x. Sadly I know of no good way do indicate this in the tree since SageMath is still far from being packaged itself. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: fix #732032, #750716 and update HOME and SRC_URIFrançois Bissey2021-01-223-0/+83
| | | | | | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Closes: https://bugs.gentoo.org/732032 Closes: https://bugs.gentoo.org/750716 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/18044 Signed-off-by: Sam James <sam@gentoo.org>
* Revert "sci-mathematics/mathematica: Remove old"Andreas K. Hüttel2021-01-223-0/+205
| | | | | | | | | a) different major versions = different license b) strangely not every univ has access to all tarballs ... This reverts commit 98a9c72a9703bbf1072fda5f2d030786fcd81a8e. Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.10Michał Górny2021-01-212-0/+97
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/agda-stdlib: Remove unused fileJakov Smolic2021-01-201-1/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/wxmaxima: Remove oldJakov Smolic2021-01-207-300/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/why3-for-spark: Remove oldJakov Smolic2021-01-202-153/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/rstudio: Remove oldJakov Smolic2021-01-2014-1667/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/twelf: Remove oldJakov Smolic2021-01-201-113/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/sha1-polyml: Remove oldJakov Smolic2021-01-202-81/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/petsc: Remove oldJakov Smolic2021-01-202-190/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/normaliz: Remove oldJakov Smolic2021-01-206-232/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/jags: Remove oldJakov Smolic2021-01-204-140/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/msieve: Remove oldJakov Smolic2021-01-203-69/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/maxima: Remove oldJakov Smolic2021-01-203-428/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/num-utils: Remove oldJakov Smolic2021-01-202-50/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: Remove oldJakov Smolic2021-01-204-229/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/nauty: Remove oldJakov Smolic2021-01-202-42/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/mathematica: Remove oldJakov Smolic2021-01-203-205/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>