gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-04 13:47:35 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/sci-mathematics
History
Maciej Barć b172dbd095
sci-mathematics/yices2: drop old 2.6.4-r1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-11-22 01:27:19 +01:00
..
4ti2
…
abc
…
acl2
sci-mathematics/acl2: bump to 8.6
2025-07-02 02:12:02 +02:00
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate
2025-09-25 08:03:22 +02:00
arb
…
bertini
…
btor2tools
…
cadabra
…
cadical
sci-mathematics/cadical: update HOMEPAGE for https
2025-08-08 17:25:58 -04:00
calc
…
cgal
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
clipper2
sci-mathematics/clipper2: Stabilize 1.5.4 amd64, #963258
2025-09-24 02:15:05 +01:00
cliquer
sci-mathematics/cliquer: add 1.23, EAPI to 8
2025-08-09 14:47:42 -04:00
coq
sci-mathematics/coq: Stabilize 9.1.0-r1 amd64, #965809
2025-11-07 23:36:17 +02:00
coq-mathcomp
…
coq-serapi
…
coq-stdlib
sci-mathematics/coq-stdlib: Stabilize 9.0.0-r1 amd64, #965809
2025-11-07 23:36:18 +02:00
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
sci-mathematics/cvc4: Update CMake-4 fix, drop Gentoo build type
2025-11-10 10:04:40 +01:00
dataplot
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2025.11
2025-11-16 21:30:57 +01:00
eclib
sci-mathematics/eclib: bump to version 20250627
2025-07-30 21:17:20 -04:00
ent
…
eprover
sci-mathematics/eprover: bump to 3.2.5
2025-11-22 01:27:18 +01:00
euler
…
fann
…
flint
sci-mathematics/flint: Update HOMEPAGE
2025-08-04 09:19:29 +02:00
flocq
…
form
*/*: Add := to virtual/zlib deps
2025-11-04 10:45:41 +01:00
fricas
sci-mathematics/fricas: keyword 1.3.12 for ~riscv
2025-08-11 10:32:26 -04:00
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
sci-mathematics/ginac: remove old version
2025-06-28 12:48:24 +07:00
glpk
*/*: Unify virtual/zlib:0= to virtual/zlib:=
2025-11-04 10:47:05 +01:00
gmm
Revert "sci-mathematics/gmm: add 5.4.2-r1 with improvements"
2025-10-01 01:37:39 +01:00
gmp-ecm
…
gp2c
sci-mathematics/gp2c: add 0.0.14
2025-08-08 08:25:31 -04:00
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
sci-mathematics/kissat: do not install static libs
2025-08-01 19:14:18 +02:00
lcalc
…
lean
sci-mathematics/lean: increase ulimit for version 4.14.0
2025-10-14 21:43:17 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: drop 3.0.2_pre20250330 3.0.1
2025-11-12 09:48:32 +00:00
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
sci-mathematics/normaliz: add 3.10.5
2025-07-07 15:12:26 -04:00
num-utils
…
octave
*/*: Add := to virtual/zlib deps, part 1
2025-11-04 10:36:27 +01:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: bump to 2.9.2
2025-11-22 01:27:19 +01:00
otter
…
palp
…
pari
sci-mathematics/pari: add 2.17.2
2025-08-08 08:25:30 -04:00
pari-data
…
petsc
sci-mathematics/petsc: use correct tc-getFC function
2025-08-09 12:12:45 -05:00
picosat
…
planarity
sci-mathematics/planarity: Stabilize 4.0.0.0 amd64, #958867
2025-06-22 22:56:32 +03:00
plfit
sci-mathematics/plfit: add 1.0.1
2025-10-21 21:27:52 -04:00
polymake
sci-mathematics/polymake: add 4.14
2025-07-23 17:45:07 -04:00
primecount
…
primesieve
…
prng
sci-mathematics/prng: fix -lm patch, EAPI 8
2025-09-14 08:33:00 +01:00
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
sci-mathematics/singular: ensure compatibility with flint 3.3.1
2025-07-31 10:06:59 -04:00
slepc
sci-mathematics/slepc: add 3.23.1
2025-06-28 16:51:31 -05:00
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
sci-mathematics/wxmaxima: remove old versions
2025-06-28 15:32:15 +07:00
yacas
…
yafu
Move {llvm-core → llvm-runtimes}/clang-runtime
2025-09-02 16:32:22 +02:00
yices2
sci-mathematics/yices2: drop old 2.6.4-r1
2025-11-22 01:27:19 +01:00
z3
sci-mathematics/z3: Bump to 4.15.4
2025-10-30 07:56:48 +01:00
metadata.xml
…