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/why3-for-spark: fix configureAlfredo Tupone18 hours1-0/+2
| | | | | Closes: https://bugs.gentoo.org/949519 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/yafu: update EAPI 7 -> 8, fix build failureNHOrus19 hours5-68/+140
| | | | | | | | | | | | Tricky problem with openmp types, consolidating seds, old patch and fix-up for allowing toolchain functions and system environment into one patch file Closes: https://bugs.gentoo.org/920324 Closes: https://bugs.gentoo.org/774099 Signed-off-by: NHOrus <jy6x2b32pie9@yahoo.com> Closes: https://github.com/gentoo/gentoo/pull/40707 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/prover9: Port to C99, fix parallel build.NHOrus42 hours3-4/+121
| | | | | | | | | | | | | | | | | Add ints to implicitly-declared function parameters that are actually ints Remove all the cleans that were scattered around makefiles. They are useful for development only and only hinder packaged build. Pipe CFLAG to last place it's needed to be used, for linking a library. Closes: https://bugs.gentoo.org/728030 Closes: https://bugs.gentoo.org/871261 Closes: https://bugs.gentoo.org/881475 Closes: https://bugs.gentoo.org/886597 Closes: https://bugs.gentoo.org/887409 Closes: https://bugs.gentoo.org/911554 Signed-off-by: NHOrus <jy6x2b32pie9@yahoo.com> Closes: https://github.com/gentoo/gentoo/pull/40720 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/lean: remove unused patchesMichael Mair-Keimberger42 hours2-33/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/40497 Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/alectryon: Remove py3.10 (per sphinx-8.2)Michał Górny5 days1-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/z3: Bump to 4.14.0Michał Górny6 days2-0/+108
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943Arthur Zamarin6 days1-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/lean: Stabilize 4.14.0-r1 amd64, #949943Arthur Zamarin6 days1-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/easycrypt: bump to 2025.02Maciej Barć9 days2-0/+51
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.8.0Maciej Barć9 days2-0/+135
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/flocq: bump to 4.2.1Maciej Barć9 days2-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64Alfredo Tupone10 days1-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64Alfredo Tupone10 days1-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/manifold: Stabilize 3.0.1 amd64, #949659Arthur Zamarin13 days1-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/why3-for-spark: fix for sparkAlfredo Tupone14 days2-3/+13
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/easycrypt: drop old 2024.01-r1Maciej Barć2025-02-092-51/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3-for-spark: keyword 2023.12.13-r1 for ~arm64Alfredo Tupone2025-02-081-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: add ~arm64Alfredo Tupone2025-02-083-5/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3-for-spark: requires older coqAlfredo Tupone2025-02-081-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: add 8.17.1Alfredo Tupone2025-02-082-0/+123
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/4ti2: add 1.6.10Michael Orlitzky2025-02-083-0/+127
| | | | | | | | | | | I'm reluctant to include an invasive build patch in case upstream rejects it, but I haven't gotten a response on the PR, and this isn't a fast moving project, so I'm starting to think I should just fix it. Closes: https://bugs.gentoo.org/810323 Closes: https://bugs.gentoo.org/908485 Closes: https://bugs.gentoo.org/916679 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/why3-for-spark: add 2023.12.13Alfredo Tupone2025-02-073-0/+156
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/lean: treeclean SLOT 0/3Maciej Barć2025-02-022-81/+0
| | | | | | | Closes: https://bugs.gentoo.org/939854 Closes: https://bugs.gentoo.org/937429 Closes: https://bugs.gentoo.org/936618 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/mathlib-tools: treecleanMaciej Barć2025-02-024-161/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/pari: Stabilize 2.17.1 ppc64, #949165Arthur Zamarin2025-02-011-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/pari: Stabilize 2.17.1 amd64, #949165Arthur Zamarin2025-02-011-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* sci-mathematics/eclib: add 20250122, drop 20241112Michael Orlitzky2025-01-312-5/+3
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2025-01-303-159/+0
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/wxmaxima: bump to 25.01.0Andrey Grozin2025-01-302-0/+80
| | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org>
* sci-mathematics/octave: drop 8.3.0-r2Andreas Sturmlechner2025-01-254-265/+0
| | | | | Bug: https://bugs.gentoo.org/938709 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/octave: Stabilize 9.2.0-r1 amd64, #938709Sam James2025-01-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: Stabilize 9.2.0-r1 arm, #938709Sam James2025-01-231-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/octave: Stabilize 9.2.0-r1 arm64, #938709Sam James2025-01-231-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/yacas: drop 1.9.1-r1Andreas Sturmlechner2025-01-231-76/+0
| | | | | Closes: https://bugs.gentoo.org/926677 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/yacas: Drop IUSE gui, abandoned upstreamAndreas Sturmlechner2025-01-231-0/+56
| | | | | | | | See also: https://github.com/grzegorzmazur/yacas/issues/361 Closes: https://bugs.gentoo.org/926677 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* sci-mathematics/gfan: remove unused patchMichael Mair-Keimberger2025-01-191-13/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* sci-mathematics/giac: drop 1.9.0.29-r2Michael Orlitzky2025-01-163-190/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/glpk: drop 5.0-r1Michael Orlitzky2025-01-161-101/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/giac: Stabilize 1.9.0.995-r2 amd64, #948118Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 amd64, #948117Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 arm, #948117Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 arm64, #948117Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 x86, #948117Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 ppc64, #948117Sam James2025-01-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/glpk: Stabilize 5.0-r3 sparc, #948117Sam James2025-01-151-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/singular: drop 4.3.2_p16-r1Michael Orlitzky2025-01-144-315/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gfan: drop 0.6.2-r4Michael Orlitzky2025-01-141-80/+0
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/gmp-ecm: use pre-autoconf'd tarballMichael Orlitzky2025-01-142-0/+61
| | | | | Closes: https://bugs.gentoo.org/946579 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: fix build with gcc-15Michael Orlitzky2025-01-122-0/+55
| | | | | Closes: https://bugs.gentoo.org/947939 Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
* sci-mathematics/pari: add 2.17.1Michael Orlitzky2025-01-112-0/+138
| | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org>