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/eclib: Stabilize 20221012 amd64, #893528Sam James2023-02-071-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/eclib: Stabilize 20221012 x86, #893528Sam James2023-02-071-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/primecount: drop 7.4Michael Orlitzky2023-02-072-55/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: stabilize 7.6 for amd64Michael Orlitzky2023-02-071-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: drop 8.0Michael Orlitzky2023-02-072-51/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: stabilize 11.0 for amd64Michael Orlitzky2023-02-071-2/+2
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/octave: drop 6.4.0-r5Andreas Sturmlechner2023-02-072-219/+0
| | | | | Closes: https://bugs.gentoo.org/886641 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/bertini: bump to 1.6Maciej Barć2023-02-062-0/+67
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: fix build on muslMaciej Barć2023-02-062-0/+134
| | | | | | Bug: https://github.com/usi-verification-and-security/opensmt/pull/590 Closes: https://bugs.gentoo.org/890794 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/opensmt: drop old 2.4.3Maciej Barć2023-02-061-70/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/minisat: fix build on muslMaciej Barć2023-02-062-4/+50
| | | | | | Bug: https://github.com/stp/minisat/pull/6 Closes: https://bugs.gentoo.org/832519 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-063-5/+49
| | | | | | Bug: https://github.com/vprover/vampire/pull/432 Closes: https://bugs.gentoo.org/832834 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lpsolve: add subslot for new versionSam James2023-02-041-1/+12
| | | | | | | It broke ABI and I didn't realise, sorry! Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+380
| | | | | | | Note that this is -r1 because of e00dce2f8eabd06e24eabd8f4d940d6dcec1ebc2. Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* Revert "sci-mathematics/lpsolve: add 5.5.2.11"Sam James2023-02-033-368/+0
| | | | | | | | | This reverts commit 4d99a7bbea555c90ad7a180ac42de81579464dee. I didn't mean to push this yet. Bug: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/lpsolve: add 5.5.2.11Sam James2023-02-033-0/+368
| | | | | Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/easycrypt: H -> COMMITMaciej Barć2023-02-022-10/+10
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-mathcomp: bump to 1.16.0Maciej Barć2023-02-022-0/+18
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1Andreas Sturmlechner2023-01-303-110/+0
| | | | | | | | 2.3.0-r1 overshadowed by 2.4.1-r2 2.4.1_p20220407-r1 overshadowed by 2.4.2-r1 Closes: https://bugs.gentoo.org/769332 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271Sam James2023-01-301-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cvc4: drop 1.7-r1Alfredo Tupone2023-01-294-107/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/picosat: Stabilize 965 amd64, #892299Sam James2023-01-281-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303Sam James2023-01-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295Sam James2023-01-281-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/mathlib-tools: patch to use tomli(-w)Maciej Barć2023-01-273-6/+93
| | | | | Closes: https://bugs.gentoo.org/878681 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: drop old 1.3.1Maciej Barć2023-01-272-54/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: drop old 1.3.0Maciej Barć2023-01-272-54/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: remove ppx_sexp_conv restrictionMaciej Barć2023-01-271-1/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1Andreas Sturmlechner2023-01-267-225/+0
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/pari: patch update for upstream bug 2441.Michael Orlitzky2023-01-263-23/+35
| | | | | Closes: https://bugs.gentoo.org/892035 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: new ~arch revision, cleanup old.Michael Orlitzky2023-01-254-139/+41
| | | | | | | | | | | | | | The new pari-2.15.2-r1... * Separates out a new flag, USE=examples; * Replaces an old "permanent" patch with a new temporary one (already committed upstream) needed to install the documentation properly; * Drops an an old hack for -O0 because I can no longer reproduce the issue that motivated it. Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/singular: add myself as a maintainerMichael Orlitzky2023-01-231-0/+4
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1Michael Orlitzky2023-01-233-167/+0
| | | | | Bug: https://bugs.gentoo.org/868618 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r2 x86, #890706Arthur Zamarin2023-01-231-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/geogebra-bin: drop 5.0.683.0Georgy Yakovlev2023-01-222-56/+0
| | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
* sci-mathematics/maxima: this version is incompatible with the new gcl-2.6.14Andrey Grozin2023-01-221-1/+1
| | | | | | the new version of maxima will require >=gcl-2.6.14 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/pari: move LDFLAGS patch into the ebuild.Michael Orlitzky2023-01-211-2/+3
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: move STRIP override patch into the ebuild.Michael Orlitzky2023-01-211-2/+5
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.1Michał Górny2023-01-192-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/nauty: add upstream patch for gentourng and gentreeg.Michael Orlitzky2023-01-172-1/+146
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/ent: update SRC_URIJonas Stein2023-01-172-2/+2
| | | | | | SRC_URI was the gentoo mirror. Signed-off-by: Jonas Stein <jstein@gentoo.org>
* sci-mathematics/ent: update DESCRIPTION, HOMEPAGEJonas Stein2023-01-171-3/+3
| | | | Signed-off-by: Jonas Stein <jstein@gentoo.org>
* sci-mathematics/pari: add 2.15.2François Bissey2023-01-163-0/+150
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/29112 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> Signed-off-by: François Bissey <frp.bissey@gmail.com>
* sci-mathematics/form: set VARTEXFONTSAndrey Grozin2023-01-151-2/+2
| | | | | Closes: https://bugs.gentoo.org/890921 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: remove old revisionAndrey Grozin2023-01-151-81/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/form: DEPEND on latexrecommendedAndrey Grozin2023-01-153-0/+104
| | | | | Closes: https://bugs.gentoo.org/873607 Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/z3: Bump to 4.12.0Michał Górny2023-01-152-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-1429-56/+56
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/form: bump to 4.3.0Andrey Grozin2023-01-142-0/+82
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/yices2: do not install static libsMaciej Barć2023-01-141-1/+3
| | | | | Closes: https://bugs.gentoo.org/890758 Signed-off-by: Maciej Barć <xgqt@gentoo.org>