Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alectryon: Remove py3.10 (per sphinx-8.2)Michał Górny27 hours1-2/+2
* sci-mathematics/z3: Bump to 4.14.0Michał Górny2 days2-0/+108
* sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943Arthur Zamarin2 days1-2/+2
* sci-mathematics/lean: Stabilize 4.14.0-r1 amd64, #949943Arthur Zamarin2 days1-1/+1
* sci-mathematics/easycrypt: bump to 2025.02Maciej Barć5 days2-0/+51
* sci-mathematics/why3: bump to 1.8.0Maciej Barć5 days2-0/+135
* sci-mathematics/flocq: bump to 4.2.1Maciej Barć5 days2-0/+40
* sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64Alfredo Tupone6 days1-2/+2
* sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64Alfredo Tupone6 days1-2/+2
* sci-mathematics/manifold: Stabilize 3.0.1 amd64, #949659Arthur Zamarin9 days1-1/+1
* sci-mathematics/why3-for-spark: fix for sparkAlfredo Tupone10 days2-3/+13
* sci-mathematics/easycrypt: drop old 2024.01-r1Maciej Barć12 days2-51/+0
* sci-mathematics/why3-for-spark: keyword 2023.12.13-r1 for ~arm64Alfredo Tupone13 days1-1/+1
* sci-mathematics/coq: add ~arm64Alfredo Tupone13 days3-5/+5
* sci-mathematics/why3-for-spark: requires older coqAlfredo Tupone13 days1-1/+4
* sci-mathematics/coq: add 8.17.1Alfredo Tupone13 days2-0/+123
* sci-mathematics/4ti2: add 1.6.10Michael Orlitzky13 days3-0/+127
* sci-mathematics/why3-for-spark: add 2023.12.13Alfredo Tupone14 days3-0/+156
* sci-mathematics/lean: treeclean SLOT 0/3Maciej Barć2025-02-022-81/+0
* sci-mathematics/mathlib-tools: treecleanMaciej Barć2025-02-024-161/+0
* sci-mathematics/pari: Stabilize 2.17.1 ppc64, #949165Arthur Zamarin2025-02-011-1/+1
* sci-mathematics/pari: Stabilize 2.17.1 amd64, #949165Arthur Zamarin2025-02-011-1/+1
* sci-mathematics/eclib: add 20250122, drop 20241112Michael Orlitzky2025-01-312-5/+3
* sci-mathematics/wxmaxima: remove old versionsAndrey Grozin2025-01-303-159/+0
* sci-mathematics/wxmaxima: bump to 25.01.0Andrey Grozin2025-01-302-0/+80
* sci-mathematics/octave: drop 8.3.0-r2Andreas Sturmlechner2025-01-254-265/+0
* sci-mathematics/octave: Stabilize 9.2.0-r1 amd64, #938709Sam James2025-01-241-1/+1
* sci-mathematics/octave: Stabilize 9.2.0-r1 arm, #938709Sam James2025-01-231-1/+1
* sci-mathematics/octave: Stabilize 9.2.0-r1 arm64, #938709Sam James2025-01-231-2/+2
* sci-mathematics/yacas: drop 1.9.1-r1Andreas Sturmlechner2025-01-231-76/+0
* sci-mathematics/yacas: Drop IUSE gui, abandoned upstreamAndreas Sturmlechner2025-01-231-0/+56
* sci-mathematics/gfan: remove unused patchMichael Mair-Keimberger2025-01-191-13/+0
* sci-mathematics/giac: drop 1.9.0.29-r2Michael Orlitzky2025-01-163-190/+0
* sci-mathematics/glpk: drop 5.0-r1Michael Orlitzky2025-01-161-101/+0
* sci-mathematics/giac: Stabilize 1.9.0.995-r2 amd64, #948118Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 amd64, #948117Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 arm, #948117Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 arm64, #948117Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 x86, #948117Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 ppc64, #948117Sam James2025-01-151-1/+1
* sci-mathematics/glpk: Stabilize 5.0-r3 sparc, #948117Sam James2025-01-151-2/+2
* sci-mathematics/singular: drop 4.3.2_p16-r1Michael Orlitzky2025-01-144-315/+0
* sci-mathematics/gfan: drop 0.6.2-r4Michael Orlitzky2025-01-141-80/+0
* sci-mathematics/gmp-ecm: use pre-autoconf'd tarballMichael Orlitzky2025-01-142-0/+61
* sci-mathematics/pari: fix build with gcc-15Michael Orlitzky2025-01-122-0/+55
* sci-mathematics/pari: add 2.17.1Michael Orlitzky2025-01-112-0/+138
* sci-mathematics/lcalc: add 2.1.0Michael Orlitzky2025-01-102-0/+37
* sci-mathematics/primesieve: keyword 12.3 for ~loongWANG Xuerui2025-01-061-1/+1
* sci-mathematics/giac: fix hard-coded g++Michael Orlitzky2025-01-052-1/+31
* sci-mathematics/z3: Remove oldMichał Górny2025-01-042-108/+0