| .. |
|
4ti2
|
|
|
|
abc
|
|
|
|
acl2
|
|
|
|
alectryon
|
|
|
|
alt-ergo
|
|
|
|
arb
|
|
|
|
bertini
|
|
|
|
boolector
|
|
|
|
btor2tools
|
|
|
|
cadabra
|
|
|
|
cadical
|
|
|
|
calc
|
|
|
|
cgal
|
|
|
|
clipper2
|
sci-mathematics/clipper2: add 1.5.3
|
2025-05-22 20:42:26 +01:00 |
|
cliquer
|
|
|
|
coq
|
|
|
|
coq-mathcomp
|
|
|
|
coq-serapi
|
|
|
|
coq-stdlib
|
|
|
|
cryptominisat
|
|
|
|
cubicle
|
sci-mathematics/cubicle: use command -v
|
2025-05-23 01:01:16 +02:00 |
|
cudd
|
|
|
|
cvc4
|
sci-mathematics/cvc4: fix cmake build type
|
2025-06-05 11:18:49 +02:00 |
|
dataplot
|
|
|
|
diagrtb
|
|
|
|
dsfmt
|
|
|
|
dunshire
|
|
|
|
easycrypt
|
sci-mathematics/easycrypt: drop 2024.09
|
2025-05-30 23:11:28 +03:00 |
|
eclib
|
|
|
|
ent
|
|
|
|
eprover
|
|
|
|
euler
|
|
|
|
fann
|
sci-mathematics/fann: drop 2.2.0-r1
|
2025-05-20 21:12:22 +02:00 |
|
flint
|
sci-mathematics/flint: drop py3.{13,14}t from PYTHON_COMPAT
|
2025-06-03 21:16:43 +01:00 |
|
flocq
|
|
|
|
form
|
|
|
|
fricas
|
sci-mathematics/fricas: bump to 1.3.12
|
2025-06-04 16:43:04 +07:00 |
|
frobby
|
|
|
|
gap
|
|
|
|
gappa
|
|
|
|
gappalib-coq
|
|
|
|
genius
|
|
|
|
geogebra-bin
|
|
|
|
geomview
|
|
|
|
gfan
|
|
|
|
giac
|
sci-mathematics/giac: drop myself as a maintainer
|
2025-05-28 23:00:20 -04:00 |
|
gimps
|
|
|
|
ginac
|
sci-mathematics/ginac: remove old version
|
2025-05-16 11:40:40 +07:00 |
|
glpk
|
|
|
|
gmm
|
|
|
|
gmp-ecm
|
|
|
|
gp2c
|
|
|
|
gretl
|
|
|
|
gsl-shell
|
|
|
|
jags
|
|
|
|
kind2
|
|
|
|
kissat
|
|
|
|
lcalc
|
sci-mathematics/lcalc: add 2.1.1, drop 2.1.0-r1
|
2025-05-28 11:40:11 -04:00 |
|
lean
|
sci-mathematics/lean: drop old 4.11.0
|
2025-06-06 23:18:53 +02:00 |
|
libpoly
|
|
|
|
lpsolve
|
|
|
|
lrcalc
|
|
|
|
manifold
|
sci-mathematics/manifold: Bump to 3.1.0
|
2025-05-22 17:06:55 +01:00 |
|
mathematica
|
|
|
|
mathmod
|
|
|
|
mathomatic
|
|
|
|
maxima
|
sci-mathematics/maxima: add python3_13
|
2025-05-15 13:36:40 +07:00 |
|
metamath
|
|
|
|
metamath-databases
|
|
|
|
minisat
|
|
|
|
msieve
|
|
|
|
nauty
|
|
|
|
nestedsums
|
|
|
|
normaliz
|
|
|
|
num-utils
|
|
|
|
octave
|
sci-mathematics/octave: revbump for qscintilla USE dep change
|
2025-05-28 08:53:36 +01:00 |
|
octave-epstk
|
|
|
|
opensmt
|
sci-mathematics/opensmt: bump to 2.7.0
|
2025-06-06 23:18:53 +02:00 |
|
otter
|
|
|
|
palp
|
|
|
|
pari
|
|
|
|
pari-data
|
|
|
|
petsc
|
|
|
|
picosat
|
|
|
|
planarity
|
|
|
|
plfit
|
|
|
|
polymake
|
|
|
|
primecount
|
|
|
|
primesieve
|
sci-mathematics/primesieve: Stabilize 12.3 arm64, #955736
|
2025-05-10 15:14:25 +03:00 |
|
prng
|
|
|
|
prover9
|
|
|
|
proverif
|
|
|
|
psmt2-frontend
|
|
|
|
pspp
|
|
|
|
rkward
|
|
|
|
rngstreams
|
|
|
|
rw
|
|
|
|
sha1-polyml
|
|
|
|
singular
|
|
|
|
slepc
|
|
|
|
smtinterpol
|
|
|
|
spin
|
|
|
|
stp
|
|
|
|
sympow
|
|
|
|
topcom
|
|
|
|
twelf
|
|
|
|
unuran
|
|
|
|
vampire
|
|
|
|
verifpal
|
|
|
|
verit
|
|
|
|
why3
|
|
|
|
why3-for-spark
|
|
|
|
wxmaxima
|
sci-mathematics/wxmaxima: slot op on x11-libs/wxGTK
|
2025-05-17 16:57:37 +02:00 |
|
yacas
|
|
|
|
yafu
|
|
|
|
yices2
|
sci-mathematics/yices2: bump to 2.6.5
|
2025-06-06 23:18:53 +02:00 |
|
z3
|
sci-mathematics/z3: Stabilize 4.15.0 arm64, #956883
|
2025-05-31 11:58:52 +02:00 |
|
metadata.xml
|
|
|
