gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/sci-mathematics
History
Arthur Zamarin f93f228d3b
sci-mathematics/z3: Stabilize 4.15.3 amd64, #962851 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-09-15 08:43:27 +03:00
..
4ti2
…
abc
…
acl2
sci-mathematics/acl2: bump to 8.6
2025-07-02 02:12:02 +02:00
alectryon
…
alt-ergo
…
arb
…
bertini
…
btor2tools
…
cadabra
…
cadical
sci-mathematics/cadical: update HOMEPAGE for https
2025-08-08 17:25:58 -04:00
calc
…
cgal
…
clipper2
sci-mathematics/clipper2: drop 1.5.2 1.4.0
2025-08-01 09:22:56 +01:00
cliquer
sci-mathematics/cliquer: add 1.23, EAPI to 8
2025-08-09 14:47:42 -04:00
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
sci-mathematics/cubicle: use command -v
2025-05-23 01:01:16 +02:00
cudd
…
cvc4
sci-mathematics/cvc4: fix cmake build type
2025-06-05 11:18:49 +02:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2025.08
2025-08-09 19:14:25 +02:00
eclib
sci-mathematics/eclib: bump to version 20250627
2025-07-30 21:17:20 -04:00
ent
…
eprover
…
euler
…
fann
sci-mathematics/fann: drop 2.2.0-r1
2025-05-20 21:12:22 +02:00
flint
sci-mathematics/flint: Update HOMEPAGE
2025-08-04 09:19:29 +02:00
flocq
…
form
sci-mathematics/form: Drop header line from Emacs site-init file
2025-04-23 20:36:12 +02:00
fricas
sci-mathematics/fricas: keyword 1.3.12 for ~riscv
2025-08-11 10:32:26 -04:00
frobby
…
functions-matlab-colormaps
sci-mathematics/functions-matlab-colormaps: new package, add 1.0_p20250328
2025-06-20 18:20:49 +02:00
gap
sci-mathematics/gap: add 4.15.0_beta2, drop 4.15.0_beta1
2025-09-13 10:06:56 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
sci-mathematics/geomview: Drop header line from Emacs site-init file
2025-04-23 20:36:12 +02:00
gfan
sci-mathematics/gfan: gcc-15 buildfix revision
2025-05-01 21:49:11 -04:00
giac
sci-mathematics/giac: drop myself as a maintainer
2025-05-28 23:00:20 -04:00
gimps
…
ginac
sci-mathematics/ginac: remove old version
2025-06-28 12:48:24 +07:00
glpk
*/*: destable sparc
2025-09-02 20:00:14 +03:00
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: drop 7.0.5-r1, 7.0.6
2025-04-19 16:03:27 -04:00
gp2c
sci-mathematics/gp2c: add 0.0.14
2025-08-08 08:25:31 -04:00
gretl
sci-mathematics/gretl: Drop header line from Emacs site-init file
2025-04-23 20:36:13 +02:00
gsl-shell
…
jags
…
kind2
…
kissat
sci-mathematics/kissat: do not install static libs
2025-08-01 19:14:18 +02:00
lcalc
sci-mathematics/lcalc: add 2.1.1, drop 2.1.0-r1
2025-05-28 11:40:11 -04:00
lean
sci-mathematics/lean: drop old 4.11.0
2025-06-06 23:18:53 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: crank subslot for broken ABI
2025-07-22 20:41:07 +01:00
mathematica
sci-mathematics/mathematica: update qtwayland compositor USEdep
2025-06-07 08:01:15 -04:00
mathmod
sci-mathematics/mathmod: add 12.1
2025-06-26 20:54:33 +01:00
mathomatic
…
maxima
sci-mathematics/maxima: remove old version
2025-08-06 16:20:59 +03:00
metamath
…
metamath-databases
…
minisat
…
msieve
sci-mathematics/msieve: add missing gmp dep
2025-08-07 12:41:31 -04:00
nauty
…
nestedsums
…
normaliz
sci-mathematics/normaliz: add 3.10.5
2025-07-07 15:12:26 -04:00
num-utils
…
octave
sci-mathematics/octave: revbump for qscintilla USE dep change
2025-05-28 08:53:36 +01:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: bump to 2.7.0
2025-06-06 23:18:53 +02: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
…
polymake
sci-mathematics/polymake: add 4.14
2025-07-23 17:45:07 -04:00
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
sci-mathematics/prng: fix -lm patch, EAPI 8
2025-09-14 08:33:00 +01:00
prover9
…
proverif
…
psmt2-frontend
…
pspp
sci-mathematics/pspp: add dev-libs/libxml2 subslot op for incoming ABI break
2025-06-09 04:11:26 +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: 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
…
sympow
…
topcom
…
twelf
sci-mathematics/twelf: Drop header line from Emacs site-init file
2025-04-23 20:36:14 +02:00
unuran
…
vampire
…
verifpal
…
verit
…
why3
sci-mathematics/why3: bump to 1.8.1
2025-07-09 23:48:01 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: Fix maintainer
2025-06-25 13:39:52 -04: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: bump to 2.6.5
2025-06-06 23:18:53 +02:00
z3
sci-mathematics/z3: Stabilize 4.15.3 amd64, #962851
2025-09-15 08:43:27 +03:00
metadata.xml
…