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
d733830e4b1ffaa71cf70ad48a95425e74625cce
gentoo/sci-mathematics
History
Michał Górny 32f1144582 */*: Reassign gienah's packages 
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2024-02-14 10:50:24 +01:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
…
arb
…
bertini
…
boolector
…
btor2tools
…
cadabra
sci-mathematics/cadabra: bump to 2.4.5.4
2024-01-25 21:03:57 +01:00
cadical
sci-mathematics/cadical: bump to 1.9.4
2024-02-08 11:31:26 +01:00
calc
…
cgal
sci-mathematics/cgal: Stabilize 5.6 amd64, #923366
2024-01-31 09:18:41 +00:00
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
sci-mathematics/coq-serapi: bump to 0.19.0
2024-02-05 12:28:31 +01:00
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2024.01
2024-02-03 14:00:12 +01:00
eclib
sci-mathematics/eclib: drop 20230424
2024-02-08 19:16:16 -05:00
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
…
fricas
…
frobby
…
gap
sci-mathematics/gap: add 4.13.0_alpha1 masked for testing
2024-02-07 16:17:59 -05:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
…
gimps
…
ginac
…
glpk
…
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
…
libpoly
…
lpsolve
sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 ppc64, #921319
2024-02-02 14:41:06 +02:00
lrcalc
…
mathematica
…
mathlib-tools
…
mathmod
…
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
…
otter
…
pari
…
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
…
polymake
sci-mathematics/polymake: Stabilize 4.11 amd64, #922874
2024-02-10 01:48:38 -05:00
primecount
…
primesieve
…
prng
…
prover9
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
proverif
…
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
singular
…
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
unuran
…
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: bump to 24.02.0
2024-02-09 20:29:21 +07:00
yacas
…
yafu
…
yices2
…
z3
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
metadata.xml
…