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
4a6b36ec0e8e7ddf4fbf13d0b60ecae4ca1d9ffe
gentoo/sci-mathematics
History
Maciej Barć 093be3e594 sci-mathematics/easycrypt: drop old 2026.03 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2026-07-30 13:11:46 +02:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
…
arb
…
bertini
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
…
clipper2
…
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
…
coq-stdlib
…
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
…
dsfmt
*/*: retire proxied maintainer
2026-06-15 10:42:15 +03:00
dunshire
…
easycrypt
sci-mathematics/easycrypt: drop old 2026.03
2026-07-30 13:11:46 +02:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
…
fricas
…
frobby
…
functions-matlab-colormaps
…
gap
…
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: add 0.8_beta1
2026-06-18 08:40:38 -04:00
giac
…
gimps
…
ginac
…
glpk
sci-mathematics/glpk: drop 5.0-r3
2026-06-15 14:29:06 -04:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
highs
sci-mathematics/highs: stabilize 1.14.0-r3 for amd64
2026-07-11 14:22:38 -04:00
jags
…
kind2
…
kissat
…
lcalc
…
lean
sci-mathematics/lean: drop old 4.23.0
2026-07-04 15:45:59 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
mathematica
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: enable py3.14
2026-06-07 13:49:09 +02:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: Switch to qt-utils.eclass
2026-07-12 10:25:11 +02:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
sci-mathematics/petsc: enable py3.14
2026-06-07 13:44:33 +02:00
picosat
…
planarity
sci-mathematics/planarity: updated tarball has fixed shebang
2026-06-24 23:26:19 -04:00
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: drop 4.4.1
2026-06-21 23:33:10 -04:00
slepc
sci-mathematics/slepc: enable py3.14
2026-06-07 13:51:37 +02:00
smtinterpol
…
spin
…
stp
*/*: retire proxied maintainer
2026-06-15 10:42:15 +03:00
sympow
…
topcom
…
twelf
…
unuran
…
vampire
sci-mathematics/vampire: drop 5.0.0
2026-07-07 13:37:41 +02:00
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: bump to 26.06.2
2026-07-02 15:37:42 +07:00
yacas
sci-mathematics/yacas: drop 1.9.1-r2
2026-06-16 22:25:29 +02:00
yafu
…
yices2
sci-mathematics/yices2: add 2.7.0
2026-07-01 00:10:34 +02:00
z3
sci-mathematics/z3: Bump to 5.0.0
2026-07-18 06:21:19 +02:00
metadata.xml
…