gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity
Files
d29b83b7b1cf0749da8a9b55376f1d5f7dcb149f
gentoo/sci-mathematics
History
Arthur Zamarin e6a305896d sci-mathematics/z3: Stabilize 4.15.1 ppc64, #959167 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-07-05 18:48:35 +03:00
..
4ti2
…
abc
…
acl2
sci-mathematics/acl2: bump to 8.6
2025-07-02 02:12:02 +02:00
alectryon
…
alt-ergo
…
arb
…
bertini
…
boolector
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
…
clipper2
sci-mathematics/clipper2: Stabilize 1.5.3 amd64, #958739
2025-06-22 17:01:45 +01:00
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
…
coq-stdlib
…
cryptominisat
…
cubicle
…
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.03
2025-07-01 02:33:14 +02:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
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: remove old version
2025-06-28 12:58:58 +07: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
…
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
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
sci-mathematics/lean: drop old 4.11.0
2025-06-06 23:18:53 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
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 and revision
2025-06-28 12:52:19 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
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
sci-mathematics/petsc: explicitly add --with-fc=<...> to configure line
2025-06-28 16:51:31 -05:00
picosat
…
planarity
sci-mathematics/planarity: Stabilize 4.0.0.0 amd64, #958867
2025-06-22 22:56:32 +03:00
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
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: drop 4.4.0_p6
2025-06-22 18:22:36 -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
…
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
…
yices2
sci-mathematics/yices2: bump to 2.6.5
2025-06-06 23:18:53 +02:00
z3
sci-mathematics/z3: Stabilize 4.15.1 ppc64, #959167
2025-07-05 18:48:35 +03:00
metadata.xml
…