| .. |
|
4ti2
|
|
|
|
abc
|
|
|
|
acl2
|
sci-mathematics/acl2: bump to 8.6
|
2025-07-02 02:12:02 +02:00 |
|
alectryon
|
|
|
|
alt-ergo
|
|
|
|
arb
|
|
|
|
bertini
|
|
|
|
btor2tools
|
|
|
|
cadabra
|
|
|
|
cadical
|
sci-mathematics/cadical: update HOMEPAGE for https
|
2025-08-08 17:25:58 -04:00 |
|
calc
|
|
|
|
cgal
|
|
|
|
clipper2
|
sci-mathematics/clipper2: drop 1.5.2 1.4.0
|
2025-08-01 09:22:56 +01:00 |
|
cliquer
|
sci-mathematics/cliquer: add 1.23, EAPI to 8
|
2025-08-09 14:47:42 -04:00 |
|
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: bump to 2025.08
|
2025-08-09 19:14:25 +02:00 |
|
eclib
|
sci-mathematics/eclib: bump to version 20250627
|
2025-07-30 21:17:20 -04:00 |
|
ent
|
|
|
|
eprover
|
|
|
|
euler
|
|
|
|
fann
|
|
|
|
flint
|
sci-mathematics/flint: Update HOMEPAGE
|
2025-08-04 09:19:29 +02:00 |
|
flocq
|
|
|
|
form
|
|
|
|
fricas
|
sci-mathematics/fricas: keyword 1.3.12 for ~riscv
|
2025-08-11 10:32:26 -04:00 |
|
frobby
|
|
|
|
functions-matlab-colormaps
|
sci-mathematics/functions-matlab-colormaps: new package, add 1.0_p20250328
|
2025-06-20 18:20:49 +02:00 |
|
gap
|
sci-mathematics/gap: add 4.15.0_beta2, drop 4.15.0_beta1
|
2025-09-13 10:06:56 -04:00 |
|
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-06-28 12:48:24 +07:00 |
|
glpk
|
*/*: destable sparc
|
2025-09-02 20:00:14 +03:00 |
|
gmm
|
|
|
|
gmp-ecm
|
|
|
|
gp2c
|
sci-mathematics/gp2c: add 0.0.14
|
2025-08-08 08:25:31 -04:00 |
|
gretl
|
|
|
|
gsl-shell
|
|
|
|
jags
|
|
|
|
kind2
|
|
|
|
kissat
|
sci-mathematics/kissat: do not install static libs
|
2025-08-01 19:14:18 +02:00 |
|
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: crank subslot for broken ABI
|
2025-07-22 20:41:07 +01:00 |
|
mathematica
|
sci-mathematics/mathematica: update qtwayland compositor USEdep
|
2025-06-07 08:01:15 -04:00 |
|
mathmod
|
sci-mathematics/mathmod: add 12.1
|
2025-06-26 20:54:33 +01:00 |
|
mathomatic
|
|
|
|
maxima
|
sci-mathematics/maxima: remove old version
|
2025-08-06 16:20:59 +03:00 |
|
metamath
|
|
|
|
metamath-databases
|
|
|
|
minisat
|
|
|
|
msieve
|
sci-mathematics/msieve: add missing gmp dep
|
2025-08-07 12:41:31 -04:00 |
|
nauty
|
|
|
|
nestedsums
|
|
|
|
normaliz
|
sci-mathematics/normaliz: add 3.10.5
|
2025-07-07 15:12:26 -04:00 |
|
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
|
sci-mathematics/pari: add 2.17.2
|
2025-08-08 08:25:30 -04:00 |
|
pari-data
|
|
|
|
petsc
|
sci-mathematics/petsc: use correct tc-getFC function
|
2025-08-09 12:12:45 -05:00 |
|
picosat
|
|
|
|
planarity
|
sci-mathematics/planarity: Stabilize 4.0.0.0 amd64, #958867
|
2025-06-22 22:56:32 +03:00 |
|
plfit
|
|
|
|
polymake
|
sci-mathematics/polymake: add 4.14
|
2025-07-23 17:45:07 -04:00 |
|
primecount
|
|
|
|
primesieve
|
|
|
|
prng
|
sci-mathematics/prng: fix -lm patch, EAPI 8
|
2025-09-14 08:33:00 +01:00 |
|
prover9
|
|
|
|
proverif
|
|
|
|
psmt2-frontend
|
|
|
|
pspp
|
sci-mathematics/pspp: add dev-libs/libxml2 subslot op for incoming ABI break
|
2025-06-09 04:11:26 +01:00 |
|
rkward
|
|
|
|
rngstreams
|
|
|
|
rw
|
|
|
|
sha1-polyml
|
|
|
|
singular
|
sci-mathematics/singular: ensure compatibility with flint 3.3.1
|
2025-07-31 10:06:59 -04:00 |
|
slepc
|
sci-mathematics/slepc: add 3.23.1
|
2025-06-28 16:51:31 -05:00 |
|
smtinterpol
|
|
|
|
spin
|
|
|
|
stp
|
|
|
|
sympow
|
|
|
|
topcom
|
|
|
|
twelf
|
|
|
|
unuran
|
|
|
|
vampire
|
|
|
|
verifpal
|
|
|
|
verit
|
|
|
|
why3
|
sci-mathematics/why3: bump to 1.8.1
|
2025-07-09 23:48:01 +02:00 |
|
why3-for-spark
|
sci-mathematics/why3-for-spark: Fix maintainer
|
2025-06-25 13:39:52 -04:00 |
|
wxmaxima
|
sci-mathematics/wxmaxima: remove old versions
|
2025-06-28 15:32:15 +07:00 |
|
yacas
|
|
|
|
yafu
|
Move {llvm-core → llvm-runtimes}/clang-runtime
|
2025-09-02 16:32:22 +02:00 |
|
yices2
|
sci-mathematics/yices2: bump to 2.6.5
|
2025-06-06 23:18:53 +02:00 |
|
z3
|
sci-mathematics/z3: Stabilize 4.15.3 amd64, #962851
|
2025-09-15 08:43:27 +03:00 |
|
metadata.xml
|
|
|
