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
dd3d482270d4fff6f271f11e359d35d32e6a2fa4
gentoo/sci-mathematics
History
Arthur Zamarin 9777f5f600 sci-mathematics/primesieve: Stabilize 12.3 arm64, #955736 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-05-10 15:14:25 +03:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
…
arb
…
bertini
…
boolector
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
…
clipper2
sci-mathematics/clipper2: Keyword 1.5.2 x86, #955276
2025-05-10 08:45:48 +03:00
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
…
coq-stdlib
…
cryptominisat
sci-mathematics/cryptominisat: replace tomli dep with tomllib built-in
2025-05-02 17:44:02 +02:00
cubicle
…
cudd
…
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
…
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
…
fricas
…
frobby
…
gap
sci-mathematics/gap: drop 4.13.1, 4.13.1-r2
2025-04-28 10:20:23 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: gcc-15 buildfix revision
2025-05-01 21:49:11 -04:00
giac
…
gimps
…
ginac
ginac-1.8.8: remove python3_9
2025-04-30 11:57:25 +07:00
glpk
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: Keyword 3.0.2_pre20250330 x86, #955276
2025-05-10 08:45:49 +03:00
mathematica
…
mathmod
…
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
sci-mathematics/opensmt: bump cmake_minimum_required
2025-05-05 22:09:23 +02:00
otter
…
palp
…
pari
…
pari-data
…
petsc
sci-mathematics/petsc: Remove old
2025-05-01 13:36:06 +02:00
picosat
…
planarity
…
plfit
…
polymake
…
primecount
sci-mathematics/primecount: drop 7.6
2025-04-28 20:23:17 -04:00
primesieve
sci-mathematics/primesieve: Stabilize 12.3 arm64, #955736
2025-05-10 15:14:25 +03:00
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
sci-mathematics/pspp: add 2.0.1
2025-04-29 20:14:15 +01:00
rkward
sci-mathematics/rkward: drop 0.8.0
2025-04-24 23:52:44 +02:00
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: add 4.4.1
2025-05-01 21:23:44 -04:00
slepc
sci-mathematics/slepc: Remove old
2025-05-01 13:36:05 +02:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: remove old version
2025-04-29 18:30:40 +07:00
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Bump to 4.15.0
2025-05-10 09:41:46 +02:00
metadata.xml
…