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
* */*: Add upstream metadataAndreas Sturmlechner2021-08-211-0/+3
| | | | | Package-Manager: Portage-3.0.22, Repoman-3.0.3 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/ent: Port to EAPI 8Jakov Smolic2021-08-142-11/+8
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/flint: remove old "unused" versions.Michael Orlitzky2021-08-079-288/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2021-08-063-194/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470Sam James2021-08-061-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: x86 stable wrt bug #805470Agostino Sarubbo2021-08-031-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.11b arm, #805470Sam James2021-08-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470Sam James2021-08-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: Stabilize 2.7.1-r1 ppc, #792684Sam James2021-08-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470Sam James2021-08-011-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/jags: Version bump for 4.3.0xfim2021-07-262-0/+48
| | | | | | | | | | Also, updated to EAPI 7. Closes: https://bugs.gentoo.org/711304 Closes: https://github.com/gentoo/gentoo/pull/14823 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> Signed-off-by: Xavier Fernández i Marín <xavier.fim@gmail.com> Package-Manager: Portage-2.3.89, Repoman-2.3.20
* sci-mathematics/coq: use a dependency default flagViorel Munteanu2021-07-263-0/+268
| | | | | | | | | | media-libs/netpbm is dropping zlib USE flag Closes: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21580 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/singular: new upstream version 4.2.1.Michael Orlitzky2021-07-182-0/+118
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/maxima: add slot:= operators for lisp dependencies.Michael Orlitzky2021-07-171-3/+3
| | | | | | | | | | | | Maxima needs to be rebuilt when its lisp engine changes. Of the lisps supported by maxima, dev-lisp/sbcl, dev-lisp/ecls, and dev-lisp/clisp make use of subslots. This new revision adds := to the corresponding dependencies. This partially addresses bug 797574 by forcing rebuilds of maxima when sbcl is upgraded. Bug: https://bugs.gentoo.org/797574 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/relational: PYTHON_MULTI_USEDEP -> PYTHON_USEDEPDavid Seifert2021-07-171-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/singular: remove unused patchMichael Mair-Keimberger2021-07-151-79/+0
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/21661 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/glpk: keyword 5.0-r1 for ~riscvMarek Szuba2021-07-141-1/+1
| | | | Signed-off-by: Marek Szuba <marecki@gentoo.org>
* sci-mathematics/lcalc: new version 2.0.3.Michael Orlitzky2021-07-142-2/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Bump to 4.8.11bMichał Górny2021-07-112-0/+97
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)]David Seifert2021-07-101-1/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cgal: version bump to 5.2.2Aisha Tammy2021-07-074-2/+82
| | | | | | | | | also add shared USE flag Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Aisha Tammy <gentoo@aisha.cc> Closes: https://github.com/gentoo/gentoo/pull/21275 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/planarity: new version 3.0.1.1.Michael Orlitzky2021-07-052-7/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: bump to v2.0.2.Michael Orlitzky2021-07-052-2/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: Update from l10n.eclass to plocale.eclassUlrich Müller2021-07-045-15/+15
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/singular: remove old "unused" singular-4.2.0_p3.ebuild.Michael Orlitzky2021-07-011-105/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: better flag control to avoid segfaultFrançois Bissey2021-07-011-1/+5
| | | | | | | | Closes: https://bugs.gentoo.org/797655 Closes: https://github.com/gentoo/gentoo/pull/21381 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: fix the doc-install patchFrançois Bissey2021-07-012-1/+64
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: Fix QA issues in 4.2.0_p3François Bissey2021-07-011-0/+104
| | | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Bug: https://bugs.gentoo.org/797655 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: remove old "unused" eclib-20210503.ebuild.Michael Orlitzky2021-07-012-36/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/eclib: new upstream releaseFrançois Bissey2021-07-012-0/+36
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/21480 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lcalc: new package for L-function computations.Michael Orlitzky2021-07-013-0/+69
| | | | | | Closes: https://bugs.gentoo.org/230439 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3-for-spark: enabled hypothesis-selectionAlfredo Tupone2021-06-292-2/+12
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: disable hypothesis-selectionAlfredo Tupone2021-06-291-0/+1
| | | | | | Closes: https://bugs.gentoo.org/799173 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/fricas: bump to 1.3.7Andrey Grozin2021-06-252-0/+111
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: add virtual/libcrypt dependencySam James2021-06-224-1/+5
| | | | | | | | Needed for upcoming libcrypt migration. Acked-by: David Seifert <soap@gentoo.org> Reported-by: Michał Górny <mgorny@gentoo.org> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: clean 5.45.0Andrey Grozin2021-06-212-236/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/maxima: bump to 5.45.1Andrey Grozin2021-06-212-0/+236
| | | | | | Closes: https://bugs.gentoo.org/796386 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/planarity: use upstream SRC_URI.Michael Orlitzky2021-06-182-9/+3
| | | | | | | | | | | | | | | The upstream github release now contains the "make dist" tarball with all of the autotools stuff that end users need to build the software. In the past we used files.sagemath.org as SRC_URI to work around their absence, but that is no longer necessary. For the moment this requires dropping USE=examples, since the docs aren't integrated with autotools, but we can address that upstream for the next release. Closes: https://github.com/gentoo/gentoo/pull/21166 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/planarity: new upstream version, no more patches.François Bissey2021-06-182-0/+30
| | | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cgal: Depend on dev-libs/boost:=[threads(+)]David Seifert2021-06-183-6/+6
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-2/+2
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/21305 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/normaliz: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-3/+3
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/giac: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-1/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gfan: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-3/+3
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/frobby: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-2/+2
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cgal: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-183-3/+3
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/4ti2: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-1/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/nauty: fix bug #750482 + port to EAPI 7François Bissey2021-06-161-0/+56
| | | | | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Bug: https://bugs.gentoo.org/750482 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/17998 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/giac: new upstream version 1.7.0.13.Michael Orlitzky2021-06-153-1/+35
| | | | | | | | | | This includes a temporary patch to fix the xcas.desktop file, whose "Version" field contains an invalid value. The next release of giac should make the patch irrelevant. Closes: https://bugs.gentoo.org/795813 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: remove old "unused" gmp-ecm-7.0.4-r3.ebuild.Michael Orlitzky2021-06-141-57/+0
| | | | | | | Closes: https://bugs.gentoo.org/795819 Closes: https://github.com/gentoo/gentoo/pull/21244 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>