summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3-for-spark: remove unused patchMichael Mair-Keimberger2022-02-101-25/+0
| | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24147 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068Sam James2022-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 x86, #833068Sam James2022-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068Jakov Smolić2022-02-101-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/cvc4: revbump for CMake config file fixSam James2022-02-091-0/+0
| | | | | | | | | This file is installed and embeds the libdir path which will affect consumers trying to build against/detect cvc4. See: 03321382501b45387f99917ba5acf9aa627805bd Closes: https://bugs.gentoo.org/820515 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: fix library pathAlfredo Tupone2022-02-081-0/+9
| | | | | | Closes: https://bugs.gentoo.org/820515 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lean: drop old 3.35.1-r2Maciej Barć2022-02-082-76/+0
| | | | | | Closes: https://bugs.gentoo.org/828088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: bump to 3.39.1Maciej Barć2022-02-082-0/+76
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/cvc4: fix depsAlfredo Tupone2022-02-081-1/+5
| | | | | | Closes: https://bugs.gentoo.org/823023 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: remove unused CMake variablesAlfredo Tupone2022-02-081-3/+1
| | | | | | Closes: https://bugs.gentoo.org/829088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: ignore CFLAGSAlfredo Tupone2022-02-071-12/+14
| | | | | | Closes: https://bugs.gentoo.org/799245 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: works with new ocaml tooAlfredo Tupone2022-02-071-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/polymake: Stabilize 4.6 amd64, #832376Jakov Smolić2022-02-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/singular: Stabilize 4.2.1_p3-r1 amd64, #832376Jakov Smolić2022-02-071-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/why3-for-spark: duplicate depsAlfredo Tupone2022-02-071-1/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: fix doc depsAlfredo Tupone2022-02-071-1/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/singular: Drop julia configure switchJakov Smolić2022-02-071-1/+0
| | | | | Closes: https://bugs.gentoo.org/832724 Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/why3-for-spark: drop old versionAlfredo Tupone2022-02-064-78/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2022-02-052-4/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/singular: drop USE=julia in a new revision.Michael Orlitzky2022-02-043-126/+2
| | | | | | | | | | The upstream ./configure flag for julia doesn't actually do anything for the moment, and it's making stabilization more tricky. So let's just drop it. Bug: https://bugs.gentoo.org/832376 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: remove old "unused" giac-1.7.0.45.ebuild.Michael Orlitzky2022-02-022-166/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: version bump. Disable quickjs.François Bissey2022-02-022-0/+167
| | | | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Closes: https://bugs.gentoo.org/832594 Closes: https://github.com/gentoo/gentoo/pull/24056 Signed-off-by: François René Pierre Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/ginac: ginac-1.8.2[doc] DEPENDs on texlive-latexextraAndrey Grozin2022-02-021-0/+1
| | | | | | Bug: https://bugs.gentoo.org/832582 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/arb: bump to 2.22.1Andrey Grozin2022-02-022-0/+34
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/ginac: bump to 1.8.2Andrey Grozin2022-02-023-0/+85
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/polymake: new upstream release polymake-4.6.Michael Orlitzky2022-01-302-4/+8
| | | | | | | | | | | | Standard version bump, and we now explicitly disable OpenMP. The upstream pseudo-configure script tries to append -fopenmp to *FLAGS otherwise, causing build failures with non-OpenMP toolchains. OpenMP is used minimally by polymake itself; the real application is to its bundled libraries (that we unbundle). Closes: https://bugs.gentoo.org/832101 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/lean: bump to 3.38.0Maciej Barć2022-01-302-0/+76
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/primecount: maintainer stabilize on amd64.Michael Orlitzky2022-01-301-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: maintainer stabilize on amd64.Michael Orlitzky2022-01-301-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* */*: consistent PYTHON_COMPAT styleDavid Seifert2022-01-301-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/easycrypt: fix theories location; bump to EAPI 8Maciej Barć2022-01-301-5/+12
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/msieve: fix build systemDavid Seifert2022-01-294-29/+128
| | | | | | Closes: https://bugs.gentoo.org/725592 Closes: https://bugs.gentoo.org/779589 Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-282-0/+107
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathematica: drop unused unpacker.eclassAndreas K. Hüttel2022-01-282-4/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/mathematica: bump to 13.0.0Huang Rui2022-01-282-0/+105
| | | | | | | | Close: https://bugs.gentoo.org/789387 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Huang Rui <vowstar@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23476 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/mathematica: bump to 12.2.0Huang Rui2022-01-282-0/+105
| | | | | | | | Closes: https://bugs.gentoo.org/789387 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Huang Rui <vowstar@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/20766 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
* sci-mathematics/gfan: remove old "unused" ebuilds.Michael Orlitzky2022-01-272-134/+0
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: Stabilize 0.6.2-r4 amd64, #832044Jakov Smolić2022-01-261-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* sci-mathematics/gfan: Stabilize 0.6.2-r4 x86, #832044Jakov Smolić2022-01-261-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-2511-11/+11
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/gfan: disable test that fails on x86.Michael Orlitzky2022-01-251-0/+4
| | | | | | Closes: https://bugs.gentoo.org/818397 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: new revision to fix the doc build.Michael Orlitzky2022-01-251-0/+71
| | | | | | | | | Something changed with LaTeX and now we need a different set of commands to build the manual. Closes: https://bugs.gentoo.org/830091 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/minisat: reformat metadata.xmlDavid Seifert2022-01-241-24/+23
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/minisat: don't install static libraries (pg0204)David Seifert2022-01-242-6/+58
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/yafu: Add openmp dependencyPatrick Lauer2022-01-231-1/+5
| | | | | | Closes: https://bugs.gentoo.org/831890 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Patrick Lauer <patrick@gentoo.org>
* sci-mathematics/geogebra-bin: add 5.0.683.0Georgy Yakovlev2022-01-222-0/+56
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/pari: remove old "unused" pari-2.13.2.ebuild.Michael Orlitzky2022-01-202-122/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 ppc, #831413Sam James2022-01-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.13.3 ppc64, #831413Sam James2022-01-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/nauty: remove old "unused" ebuilds.Michael Orlitzky2022-01-183-108/+0
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>