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/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>
* sci-mathematics/gp2c: maintainer stabilize on amd64.Michael Orlitzky2021-01-051-2/+2
| | | | | | | | This is fine. It's a bugfix release needed for gcc-10.x. Closes: https://bugs.gentoo.org/763906 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/cgal: Stabilize 5.1 amd64, #762062Sam James2020-12-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/agda: set USE=-cpphs by defaultSergei Trofimovich2020-12-271-1/+1
| | | | | | | | | USE=cpphs is not compatible to profiling builds. Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/761805 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/cgal: version bump to 5.2Aisha Tammy2020-12-272-0/+79
| | | | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Aisha Tammy <gentoo@aisha.cc> Closes: https://github.com/gentoo/gentoo/pull/18774 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/flint: new upstream version 2.7.0.Michael Orlitzky2020-12-182-0/+65
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/agda-stdlib: drop oldJack Todaro2020-12-172-69/+0
| | | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: drop oldJack Todaro2020-12-172-146/+0
| | | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4Jack Todaro2020-12-173-6/+71
| | | | | Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/agda: bump up to 2.6.1.2Jack Todaro2020-12-173-18/+173
| | | | | Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/glpk: Upstream bumpFrançois Bissey2020-12-162-0/+77
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/18685 Package-Manager: Portage-3.0.9, 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/octave: ppc keyworded (bug #757822)Sam James2020-12-121-1/+1
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: ppc64 keyworded (bug #757822)Sam James2020-12-121-1/+1
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: arm64 keyworded (bug #757822)Sam James2020-12-071-1/+1
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: Keyword 6.1.0-r1 arm, #757822Sam James2020-12-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: remove oldPPed722020-12-072-73/+0
| | | | | | | Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Package-Manager: Portage-3.0.9, Repoman-3.0.2 Closes: https://github.com/gentoo/gentoo/pull/18457 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/alt-ergo: depend only on lablgtk:2Alfredo Tupone2020-12-051-1/+1
| | | | | | Bug: https://bugs.gentoo.org/758638 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-12-051-1/+1
| | | | | | Closes: https://bugs.gentoo.org/758245 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/z3: Keyword 4.8.9 riscv, #756115Mikle Kolyada2020-12-041-1/+1
| | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/octave: new revision with sys-apps/texinfo in RDEPEND.Michael Orlitzky2020-12-011-1/+4
| | | | | | Closes: https://bugs.gentoo.org/743019 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: new version 6.1.0.Michael Orlitzky2020-11-303-0/+198
| | | | | | | | | Dropped keywords arm, arm64, hppa, ppc, and ppc64 due to a new USE-conditional dependency on sci-libs/sundials. Closes: https://bugs.gentoo.org/660310 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pspp: version bump to 1.4.1John Helmert III2020-11-262-0/+91
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/18417 Signed-off-by: John Helmert III <jchelmert3@posteo.net> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/pspp: security cleanup (<1.2.0-r1)John Helmert III2020-11-261-79/+0
| | | | | | | | Bug: https://bugs.gentoo.org/679392 Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: John Helmert III <jchelmert3@posteo.net> Closes: https://github.com/gentoo/gentoo/pull/18416 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cgal: new maintainerAisha Tammy2020-11-201-0/+8
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/17926 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Aisha Tammy <gentoo@aisha.cc> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/cgal: version bump to 5.1Aisha Tammy2020-11-202-0/+81
| | | | | | | | | | * also build shared libraries Closes: https://bugs.gentoo.org/734662 Closes: https://bugs.gentoo.org/663232 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Aisha Tammy <gentoo@aisha.cc> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/gimps: stabilize 30.3.6 on x86Joonas Niilola2020-11-171-1/+1
| | | | | Closes: https://bugs.gentoo.org/754933 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/gimps: Stabilize 30.3.6 amd64, #754933Sam James2020-11-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/agda: drop USE=uhcSergei Trofimovich2020-11-152-8/+2
| | | | | | | uhc is masked for removal. Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* sci-mathematics/glpk: Stabilize 4.65 arm, #709830Sam James2020-11-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>