gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity
Files
2cdd1dcd1f3b5507e4d831fa4b2adbf93cd0dd96
gentoo/sci-mathematics
History
Alfred Wingate d88a96fd5a sci-mathematics/wxmaxima: add dev-libs/libxml2 subslot op for incoming ABI break 
Signed-off-by: Alfred Wingate <parona@protonmail.com>
Part-of: https://github.com/gentoo/gentoo/pull/41919
Signed-off-by: Sam James <sam@gentoo.org>
2025-06-09 04:11:27 +01: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
sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64
2025-02-15 13:31:43 +01:00
arb
…
bertini
…
boolector
sci-mathematics/boolector: bump cmake_minimum_required
2025-04-18 17:24:12 +02:00
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
sci-mathematics/clipper2: add 1.5.3
2025-05-22 20:42:26 +01:00
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
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
sci-mathematics/dunshire: keyword ~riscv, enable py3.13
2025-03-29 21:59:02 -04:00
easycrypt
sci-mathematics/easycrypt: drop 2024.09
2025-05-30 23:11:28 +03:00
eclib
sci-mathematics/eclib: drop 20231212, 20240408
2025-04-18 19:21:59 -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: drop py3.{13,14}t from PYTHON_COMPAT
2025-06-03 21:16:43 +01:00
flocq
sci-mathematics/flocq: drop old 4.1.1
2025-03-24 01:15:10 +01:00
form
sci-mathematics/form: Drop header line from Emacs site-init file
2025-04-23 20:36:12 +02:00
fricas
sci-mathematics/fricas: bump to 1.3.12
2025-06-04 16:43:04 +07:00
frobby
…
gap
sci-mathematics/gap: drop 4.13.1, 4.13.1-r2
2025-04-28 10:20:23 -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-05-16 11:40:40 +07:00
glpk
…
gmm
…
gmp-ecm
sci-mathematics/gmp-ecm: drop 7.0.5-r1, 7.0.6
2025-04-19 16:03:27 -04:00
gp2c
…
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
…
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: Bump to 3.1.0
2025-05-22 17:06:55 +01:00
mathematica
sci-mathematics/mathematica: update qtwayland compositor USEdep
2025-06-07 08:01:15 -04:00
mathmod
sci-mathematics/mathmod: drop 11.1
2025-04-02 20:43:39 +02:00
mathomatic
…
maxima
sci-mathematics/maxima: add python3_13
2025-05-15 13:36:40 +07:00
metamath
…
metamath-databases
…
minisat
sci-mathematics/minisat: bump cmake_minimum_required
2025-03-24 01:15:10 +01:00
msieve
sci-mathematics/msieve: Port to C23
2025-04-12 21:57:20 +01:00
nauty
…
nestedsums
…
normaliz
…
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
…
pari-data
…
petsc
sci-mathematics/petsc: Remove old
2025-05-01 13:36:06 +02:00
picosat
…
planarity
sci-mathematics/planarity: add 4.0.0.0
2025-03-27 07:49:41 -04:00
plfit
…
polymake
sci-mathematics/polymake: trivial build fix for newer compilers
2025-04-18 12:30:49 -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
…
prover9
sci-mathematics/prover9: Port to C99, fix parallel build.
2025-02-23 23:23:16 +01:00
proverif
…
psmt2-frontend
sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64
2025-02-15 13:31:33 +01:00
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: add 4.4.1
2025-05-01 21:23:44 -04:00
slepc
sci-mathematics/slepc: Remove old
2025-05-01 13:36:05 +02: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: fix with ocaml-5
2025-04-09 21:58:05 +02:00
why3-for-spark
sci-mathematics/why3-for-spark: fix for c23
2025-04-12 09:15:38 +02:00
wxmaxima
sci-mathematics/wxmaxima: add dev-libs/libxml2 subslot op for incoming ABI break
2025-06-09 04:11:27 +01:00
yacas
…
yafu
sci-mathematics/yafu: update EAPI 7 -> 8, fix build failure
2025-02-24 21:26:09 +00: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.0 arm64, #956883
2025-05-31 11:58:52 +02:00
metadata.xml
…