millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-19 00:09:37 +03:00
Code Wiki Activity
Files
e6e819c51df44f429fe19f2c992434bfc79f8a15
gentoo/sci-mathematics
History
Sam James 5c05f0734c sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176 
Signed-off-by: Sam James <sam@gentoo.org>
2023-11-25 05:27:37 +00:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
…
arb
sci-mathematics/arb: Stabilize 2.23.0 arm64, #918176
2023-11-25 05:27:37 +00:00
bertini
…
boolector
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
…
cliquer
sci-mathematics/cliquer: update LICENSE
2023-11-22 17:25:56 -05:00
coq
…
coq-mathcomp
…
coq-serapi
…
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: update HOMEPAGE (http -> https)
2023-11-14 19:24:20 -05:00
easycrypt
…
eclib
sci-mathematics/eclib: update LICENSE
2023-11-22 17:22:53 -05:00
ent
…
eprover
…
euler
…
fann
…
flint
sci-mathematics/flint: Stabilize 2.9.0 arm64, #918175
2023-11-24 17:03:34 +00:00
flocq
…
form
…
fricas
…
frobby
…
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
sci-mathematics/giac: update LICENSE
2023-11-22 17:41:57 -05:00
gimps
…
ginac
…
glpk
…
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 arm64, #918178
2023-11-24 17:12:11 +02:00
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
…
lrcalc
…
mathematica
…
mathlib-tools
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: update LICENSE
2023-11-22 18:17:29 -05:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
…
otter
…
pari
sci-mathematics/pari: update LICENSE
2023-11-22 17:05:11 -05:00
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
…
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: stabilize 23.07.0 for amd64
2023-11-24 15:30:31 +01:00
yacas
…
yafu
…
yices2
…
z3
…
metadata.xml
…