summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* sci-mathematics/gretl: Remove oldJakov Smolic2021-01-203-122/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/flint: Remove oldJakov Smolic2021-01-202-64/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/ginac: Remove oldJakov Smolic2021-01-202-67/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/genius: Remove oldJakov Smolic2021-01-203-86/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/fricas: Remove oldJakov Smolic2021-01-203-218/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/form: Remove oldJakov Smolic2021-01-203-164/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/dataplot: Remove oldJakov Smolic2021-01-204-205/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/coq: Remove oldJakov Smolic2021-01-201-86/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/4ti2: Remove oldJakov Smolic2021-01-202-38/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/calc: Remove oldJakov Smolic2021-01-204-245/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc4: Remove oldJakov Smolic2021-01-202-25/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/alt-ergo: Remove oldJakov Smolic2021-01-202-34/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cvc4: add python depAlfredo Tupone2021-01-201-2/+5
| | | | | | Closes: https://bugs.gentoo.org/766099 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/agda-lib-ffi: Remove last-rited pkgMichał Górny2021-01-194-81/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/wxmaxima: bump to 20.12.2Andrey Grozin2021-01-172-0/+52
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/why3-for-spark: update OCaml depsSam James2021-01-174-30/+30
| | | | | | | | | | | | | * We need := for OCaml deps to ensure we're rebuilt when they update for consistency, to prevent strange issues. * Use ocamlopt= rather than ocamlopt? in the dev-lang/ocaml dependency to ensure ocamlopt is consistently on/off throughout the system. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versionsSam James2021-01-174-8/+8
| | | | | | See: https://gitlab.inria.fr/why3/why3/-/blob/master/CHANGES.md#version-121-october-28-2019 Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: enforce ocamlopt=Sam James2021-01-172-4/+4
| | | | | | | | | We need to have ocamlopt on/off consistently throughout the system, so use the '=' operator to force it off where it's disabled on this package. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: add subslot deps for OCamlSam James2021-01-172-11/+11
| | | | | | | | We need subslot deps on any OCaml (R)DEPENDs because we must be rebuilt when they update, for consistency. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: fix MissingSlotDep in older versionSam James2021-01-172-4/+4
| | | | | | | | Only supports lablgtk:2 for now. See: https://github.com/OCamlPro/alt-ergo/issues/246 Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: add github remote-idSam James2021-01-171-0/+3
| | | | | Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmp-ecm: Really drop x86-macosBrian Evans2021-01-061-3/+0
| | | | Signed-off-by: Brian Evans <grknight@gentoo.org>
* sci-mathematics/singular: drop x86-macosFabian Groffen2021-01-062-4/+4
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/rw: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/pari-data: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/lrcalc: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/gmp-ecm: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/glpk: drop x86-macosFabian Groffen2021-01-062-4/+4
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/flintqs: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/arb: drop x86-macosFabian Groffen2021-01-062-4/+4
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/4ti2: drop x86-macosFabian Groffen2021-01-063-6/+6
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* sci-mathematics/gp2c: new upstream version 0.0.12.Michael Orlitzky2021-01-052-0/+30
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cgal: Stabilize 5.1 x86, #762062Sam James2021-01-051-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gp2c: drop old "unused" version.Michael Orlitzky2021-01-052-30/+0
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>