millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 00:05:54 +03:00
Code Packages Projects Releases Wiki Activity
Files
370cdb767287e5cf1e601d3bf6e16bd5638d6dc2
gentoo/sci-mathematics
History
Alfredo Tupone c0d7884cb1 sci-mathematics/why3-for-spark: dev-lang/ocaml dep redundant 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-10-08 19:23:35 +02:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate
2025-09-25 08:03:22 +02:00
arb
…
bertini
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
…
clipper2
sci-mathematics/clipper2: Stabilize 1.5.4 amd64, #963258
2025-09-24 02:15:05 +01:00
cliquer
…
coq
sci-mathematics/coq: update homepage and XML metadata
2025-09-28 17:06:01 +02:00
coq-mathcomp
…
coq-serapi
…
coq-stdlib
sci-mathematics/coq-stdlib: depend on coq sub-slot
2025-10-06 23:21:43 +02:00
cryptominisat
…
cubicle
sci-mathematics/cubicle: dev-lang/ocaml min is 4.11
2025-10-08 19:17:53 +02:00
cudd
…
cvc4
…
dataplot
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2025.10
2025-10-06 23:21:44 +02:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
…
fricas
…
frobby
…
functions-matlab-colormaps
…
gap
sci-mathematics/gap: add 4.15.0, drop 4.15.0_beta2
2025-10-02 08:27:13 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
…
gimps
…
ginac
…
glpk
…
gmm
Revert "sci-mathematics/gmm: add 5.4.2-r1 with improvements"
2025-10-01 01:37:39 +01:00
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
mathematica
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: Stabilize 5.47.0-r2 amd64, #958733
2025-09-26 09:25:56 +03:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
…
rkward
sci-mathematics/rkward: add 0.8.2
2025-10-02 23:27:29 +02:00
rngstreams
…
rw
…
sha1-polyml
…
singular
…
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
sci-mathematics/why3: dev-lang/ocaml dep redundant
2025-10-08 19:20:42 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: dev-lang/ocaml dep redundant
2025-10-08 19:23:35 +02:00
wxmaxima
…
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Remove old
2025-09-20 08:02:03 +02:00
metadata.xml
…