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
ab33d2c0ba798b8a8dd8a73884e8566760607b8b
gentoo/sci-mathematics
History
Nicolas PARLANT 2f71170b15 sci-mathematics/mathmod: drop 12.0 
Signed-off-by: Nicolas PARLANT <nicolas.parlant@parhuet.fr>
Part-of: https://github.com/gentoo/gentoo/pull/44448
Closes: https://github.com/gentoo/gentoo/pull/44448
Signed-off-by: Sam James <sam@gentoo.org>
2025-11-04 11:04:57 +00:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
…
arb
…
bertini
…
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
clipper2
…
cliquer
…
coq
…
coq-mathcomp
…
coq-serapi
…
coq-stdlib
…
cryptominisat
sci-*/*: update for virtual/zlib
2025-11-04 09:17:06 +01:00
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: drop old 2025.08
2025-10-25 22:48:13 +02:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
…
form
*/*: Add := to virtual/zlib deps
2025-11-04 10:45:41 +01:00
fricas
…
frobby
…
functions-matlab-colormaps
…
gap
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
sci-mathematics/geogebra-bin: add missing dependencies
2025-10-31 04:41:27 +00:00
geomview
*/*: Add := to virtual/zlib deps
2025-11-04 10:45:41 +01:00
gfan
…
giac
…
gimps
…
ginac
…
glpk
*/*: Unify virtual/zlib:0= to virtual/zlib:=
2025-11-04 10:47:05 +01:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
sci-mathematics/lean: increase ulimit for version 4.14.0
2025-10-14 21:43:17 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
mathematica
sci-mathematics/mathematica: fix 938179, fix 960526
2025-10-28 23:30:13 +01:00
mathmod
sci-mathematics/mathmod: drop 12.0
2025-11-04 11:04:57 +00:00
mathomatic
…
maxima
sci-mathematics/maxima: add USE flag gmp
2025-11-03 22:28:35 +07:00
metamath
…
metamath-databases
…
minisat
sci-*/*: update for virtual/zlib
2025-11-04 09:17:06 +01:00
msieve
*/*: Add := to virtual/zlib deps
2025-11-04 10:45:41 +01:00
nauty
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
nestedsums
…
normaliz
…
num-utils
…
octave
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
…
picosat
…
planarity
…
plfit
sci-mathematics/plfit: add 1.0.1
2025-10-21 21:27:52 -04:00
polymake
…
primecount
…
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
rkward
sci-mathematics/rkward: drop 0.8.1
2025-10-30 14:48:12 +01:00
rngstreams
…
rw
…
sha1-polyml
…
singular
…
slepc
…
smtinterpol
…
spin
…
stp
sci-*/*: update for virtual/zlib
2025-11-04 09:17:06 +01:00
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: Bump to 4.15.4
2025-10-30 07:56:48 +01:00
metadata.xml
…