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
8cfdbffd58dcd503e4d86c3a893b0ec0ece28a64
gentoo/sci-mathematics
History
Alfredo Tupone 1ad8039363 sci-mathematics/why3: fix with ocaml-5 
Closes: https://bugs.gentoo.org/952926
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-04-09 21:58:05 +02:00
..
4ti2
sci-mathematics/4ti2: Stabilize 1.6.10 amd64, #951095
2025-03-10 22:42:43 +00:00
abc
…
acl2
sci-mathematics/acl2: drop old 8.5-r2
2025-03-01 14:16:47 +01:00
alectryon
sci-mathematics/alectryon: Remove py3.10 (per sphinx-8.2)
2025-02-20 11:20:31 +01:00
alt-ergo
…
arb
…
bertini
…
boolector
…
btor2tools
sci-mathematics/btor2tools: bump cmake_minimum_required
2025-03-20 23:02:51 +01:00
cadabra
…
cadical
sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943
2025-02-19 09:32:19 +02:00
calc
…
cgal
sci-mathematics/cgal: Stabilize 6.0.1 amd64, #951099
2025-03-10 22:42:48 +00:00
clipper2
…
cliquer
…
coq
sci-mathematics/coq: fix export in src_configure
2025-03-28 21:42:16 +01:00
coq-mathcomp
sci-mathematics/coq-mathcomp: add coq max version pin
2025-03-16 22:11:50 +01:00
coq-serapi
…
coq-stdlib
sci-mathematics/coq-stdlib: Keyword 9.0.0 arm64, #951475
2025-03-16 22:40:22 +00:00
cryptominisat
…
cubicle
…
cudd
…
cvc4
sci-mathematics/cvc4: enable py3.13
2025-03-28 20:28:17 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: keyword ~riscv, enable py3.13
2025-03-29 21:59:02 -04:00
easycrypt
sci-mathematics/easycrypt: bump to 2025.02
2025-02-16 23:35:17 +01:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
…
flocq
sci-mathematics/flocq: drop old 4.1.1
2025-03-24 01:15:10 +01:00
form
…
fricas
…
frobby
…
gap
sci-mathematics/gap: add 4.14.0, drop 4.14.0_beta1
2025-04-01 15:33:40 -04: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
sci-mathematics/lean: remove unused patches
2025-02-23 23:16:49 +01:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
mathematica
…
mathmod
sci-mathematics/mathmod: drop 11.1
2025-04-02 20:43:39 +02:00
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
sci-mathematics/minisat: bump cmake_minimum_required
2025-03-24 01:15:10 +01:00
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
…
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
…
picosat
…
planarity
sci-mathematics/planarity: add 4.0.0.0
2025-03-27 07:49:41 -04:00
plfit
…
polymake
…
primecount
…
primesieve
…
prng
…
prover9
sci-mathematics/prover9: Port to C99, fix parallel build.
2025-02-23 23:23:16 +01:00
proverif
…
psmt2-frontend
…
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
…
slepc
…
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
sci-mathematics/why3: fix with ocaml-5
2025-04-09 21:58:05 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: fix with ocaml-5
2025-03-28 23:00:26 +01:00
wxmaxima
…
yacas
…
yafu
sci-mathematics/yafu: update EAPI 7 -> 8, fix build failure
2025-02-24 21:26:09 +00:00
yices2
…
z3
sci-mathematics/z3: Remove old
2025-03-29 11:23:24 +01:00
metadata.xml
…