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
master
gentoo/sci-mathematics
History
Arthur Zamarin 6b2ddc5ad3 sci-mathematics/z3: Stabilize 5.1.0 x86, #982768 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2026-09-19 11:59:45 +03:00
..
4ti2
…
abc
…
acl2
…
alectryon
sci-mathematics/alectryon: fix build deps
2026-08-29 16:44:52 +02:00
alt-ergo
…
arb
…
bertini
…
btor2tools
…
cadabra
sci-mathematics/cadabra: fix PYTHON_EXECUTABLE in Jupyter kernel
2026-08-27 22:57:16 +02:00
cadical
…
calc
…
cgal
sci-mathematics/cgal: add 6.2, 9999
2026-09-15 16:36:41 +01:00
clipper2
sci-mathematics/clipper2: add 2.0.1
2026-09-15 16:36:41 +01:00
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
…
coq-stdlib
…
cryptominisat
…
cubicle
…
cudd
sci-mathematics/cudd: add dev-texlive/texlive-latexrecommended
2026-08-23 10:59:47 +02:00
cvc4
…
dataplot
…
dsfmt
sci-mathematics/dsfmt: add 2.2.5
2026-08-23 10:59:43 +02:00
dunshire
…
easycrypt
…
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
…
fricas
…
frobby
…
functions-matlab-colormaps
…
gap
sci-mathematics/gap: add 4.16.1, drop 4.16.0
2026-08-24 15:56:36 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
…
gimps
…
ginac
…
glpk
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
highs
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: add 3.5.2, 9999
2026-09-15 16:36:42 +01:00
mathematica
sci-mathematics/mathematica: add 15.0.1
2026-09-10 00:14:04 +01:00
mathmod
sci-mathematics/mathmod: fix comparison for clang
2026-09-16 01:25:57 +01:00
mathomatic
…
maxima
sci-mathematics/maxima: remove old version
2026-08-20 12:29:30 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: add 2.9.3
2026-08-15 20:55:19 -04:00
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
…
polymake
sci-mathematics/polymake: drop 4.13, 4.14
2026-08-20 17:58:01 -04:00
primecount
…
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
sci-mathematics/rw: add 0.10
2026-08-12 20:34:07 -04:00
sha1-polyml
…
singular
…
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
sci-mathematics/unuran: add 1.12.0
2026-09-06 13:05:50 +02:00
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
…
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Stabilize 5.1.0 x86, #982768
2026-09-19 11:59:45 +03:00
metadata.xml
…