gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-16 14:29:05 -07:00
Code Issues Projects Releases Wiki Activity
Files
db463b58ba2a3bc12bf7bc21e767ce8ddf5c3105
gentoo/sci-mathematics
History
Maciej Barć 3b14bd4d4a sci-mathematics/acl2: drop old 8.5-r2 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-01 14:16:47 +01:00
..
4ti2
sci-mathematics/4ti2: add 1.6.10
2025-02-08 02:07:13 +00:00
abc
…
acl2
sci-mathematics/acl2: drop old 8.5-r2
2025-03-01 14:16:47 +01:00
alectryon
sci-mathematics/alectryon: Remove py3.10 (per sphinx-8.2)
2025-02-20 11:20:31 +01:00
alt-ergo
sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64
2025-02-15 13:31:43 +01:00
arb
…
bertini
…
boolector
…
btor2tools
…
cadabra
…
cadical
sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943
2025-02-19 09:32:19 +02:00
calc
…
cgal
…
clipper2
…
cliquer
…
coq
sci-mathematics/coq: add ~arm64
2025-02-08 22:51:36 +01:00
coq-mathcomp
…
coq-serapi
…
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2025.02
2025-02-16 23:35:17 +01:00
eclib
sci-mathematics/eclib: add 20250122, drop 20241112
2025-01-31 21:19:20 +00:00
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
sci-mathematics/flocq: bump to 4.2.1
2025-02-16 23:35:16 +01:00
form
…
fricas
…
frobby
…
gap
…
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: remove unused patch
2025-01-19 00:48:57 +01:00
giac
sci-mathematics/giac: drop 1.9.0.29-r2
2025-01-16 09:18:34 -05:00
gimps
…
ginac
…
glpk
sci-mathematics/glpk: drop 5.0-r1
2025-01-16 09:18:33 -05:00
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: use pre-autoconf'd tarball
2025-01-14 13:10:49 -05:00
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
sci-mathematics/lean: remove unused patches
2025-02-23 23:16:49 +01:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: Stabilize 3.0.1 amd64, #949659
2025-02-12 21:25:02 +02:00
mathematica
…
mathmod
…
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: drop 8.3.0-r2
2025-01-25 14:23:34 +01:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
sci-mathematics/pari: Stabilize 2.17.1 ppc64, #949165
2025-02-01 13:35:32 +02:00
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
prover9
sci-mathematics/prover9: Port to C99, fix parallel build.
2025-02-23 23:23:16 +01:00
proverif
…
psmt2-frontend
sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64
2025-02-15 13:31:33 +01:00
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: drop 4.3.2_p16-r1
2025-01-14 16:04:34 -05:00
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
sci-mathematics/why3: bump to 1.8.0
2025-02-16 23:35:16 +01:00
why3-for-spark
sci-mathematics/why3-for-spark: fix configure
2025-02-24 22:54:03 +01:00
wxmaxima
sci-mathematics/wxmaxima: remove old versions
2025-01-30 12:53:30 +07:00
yacas
sci-mathematics/yacas: drop 1.9.1-r1
2025-01-23 00:14:36 +01:00
yafu
sci-mathematics/yafu: update EAPI 7 -> 8, fix build failure
2025-02-24 21:26:09 +00:00
yices2
…
z3
sci-mathematics/z3: Bump to 4.14.0
2025-02-19 08:56:25 +01:00
metadata.xml
…