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/mathlib-tools: add DISTUTILS_USE_PEP517Maciej Barć2022-10-232-0/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: drop old 1.1.0-r1Maciej Barć2022-10-232-50/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: bump to 1.2.0Maciej Barć2022-10-232-0/+52
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/rkward: add 0.7.5Andreas Sturmlechner2022-10-222-0/+58
| | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/eclib: drop 20210625Michael Orlitzky2022-10-202-36/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: drop 7.3Michael Orlitzky2022-10-202-55/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primecount: stabilize 7.4 for amd64Michael Orlitzky2022-10-201-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: drop 7.9Michael Orlitzky2022-10-202-51/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/primesieve: stabilize 8.0 for amd64Michael Orlitzky2022-10-201-1/+1
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-6/+6
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/twelf: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/prover9: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pari: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+2
| | | | | | | | Additionally, extra empty line from the last item text was removed and the text was properly aligned. Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/nauty: align longdescription opening and closing tagsPetr Vaněk2022-10-201-4/+4
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/maxima: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/jags: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gsl-shell: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gretl: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/diagrtb: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/dataplot: align longdescription opening and closing tagsPetr Vaněk2022-10-201-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/bertini: fix metadata indentationPetr Vaněk2022-10-201-4/+4
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/4ti2: align longdescription opening and closing tagsPetr Vaněk2022-10-201-3/+3
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gimps: drop 30.8.16Andrew Ammerlaan2022-10-182-72/+0
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/gimps: add 30.8.17Paolo Pedroni2022-10-182-0/+72
| | | | | | | Closes: https://bugs.gentoo.org/874861 Signed-off-by: Paolo Pedroni <paolo.pedroni@iol.it> Closes: https://github.com/gentoo/gentoo/pull/27604 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/octave: fix PkgMetadataXmlIndentationSam James2022-10-181-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: add savannah upstream metadataSam James2022-10-181-0/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: add savannah upstream metadataSam James2022-10-181-13/+16
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: add savannah upstream metadataSam James2022-10-181-1/+4
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/smtinterpol: fix QA BadDescriptionConrad Kostecki2022-10-151-2/+2
| | | | Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/cvc4: fix PythonHasVersionUsageSam James2022-10-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16Ionen Wolkens2022-10-112-2/+28
| | | | | | Closes: https://bugs.gentoo.org/863257 Closes: https://bugs.gentoo.org/871423 Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r1 x86, #876202Agostino Sarubbo2022-10-091-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/pspp: Stabilize 1.6.2-r1 amd64, #876202Agostino Sarubbo2022-10-091-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/pspp: fix MissingUseDepDefault on cairoSam James2022-10-082-2/+2
| | | | | Closes: https://bugs.gentoo.org/875944 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/pspp: drop 1.6.1Sam James2022-10-082-87/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/gmp-ecm: new revision to drop USE=cuda support.Michael Orlitzky2022-10-072-15/+5
| | | | | | | | | | | | Our CUDA support doesn't work at the moment, and neither François nor I have access to the hardware. To avoid annoying users, we disable it until someone who has the hardware can tell us how to fix it. And while I'm deleting things... we say goodbye to static-libs, too. They aren't generally useful to end users. Closes: https://bugs.gentoo.org/873289 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/dataplot: add missing bdependAndrew Ammerlaan2022-10-061-1/+2
| | | | | Closes: https://bugs.gentoo.org/728890 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/cadabra: bump to 2.4.0.2Maciej Barć2022-10-062-0/+105
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/giac: pari 2.15 compat + -gui workaroundFrançois Bissey2022-10-042-0/+23
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/27625 Closes: https://bugs.gentoo.org/875179 Signed-off-by: François Bissey <frp.bissey@gmail.com> Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-022-0/+68
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq-serapi: restrict coq versionMaciej Barć2022-10-021-1/+1
| | | | | Closes: https://bugs.gentoo.org/873604 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/geogebra-bin: fix StaticSrcUriSam James2022-10-012-3/+3
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2022-09-273-160/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 22.09.0Andrey Grozin2022-09-272-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-09-232-108/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
| | | | | | | | both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2 Closes: https://bugs.gentoo.org/872512 Bug: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/z3: Remove oldMichał Górny2022-09-235-432/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>