gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-25 07:08:13 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/sci-mathematics
History
Michael Orlitzky 9dd4ccfb6b sci-mathematics/gap: add 4.16.1, drop 4.16.0 
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2026-08-24 15:56:36 -04:00
..
4ti2
…
abc
…
acl2
…
alectryon
sci-mathematics/alectryon: drop old 1.4.0-r2
2026-04-18 17:05:32 +02:00
alt-ergo
…
arb
…
bertini
sci-mathematics/bertini: drop 1.4
2026-02-22 16:56:48 +01:00
btor2tools
…
cadabra
sci-mathematics/cadabra: Stabilize 2.5.14_p1-r1 amd64, #940556
2026-06-03 02:10:23 -04:00
cadical
sci-mathematics/cadical: remove unused patch
2026-04-16 07:10:19 +02:00
calc
sci-mathematics/calc: add github upstream metadata
2026-04-13 09:23:07 +01:00
cgal
sci-mathematics/cgal: add := to dev-cpp/eigen
2026-05-29 07:14:26 +01:00
clipper2
…
cliquer
…
coq
sci-mathematics/coq: bump to 9.2.0
2026-03-31 21:52:34 +02:00
coq-mathcomp
…
coq-serapi
…
coq-stdlib
sci-mathematics/coq-stdlib: bump to 9.1.0
2026-02-17 23:08:15 +01:00
cryptominisat
sci-mathematics/cryptominisat: bump PYTHON_COMPAT to py3.14
2026-05-06 00:51:28 +02:00
cubicle
…
cudd
sci-mathematics/cudd: add dev-texlive/texlive-latexrecommended
2026-08-23 10:59:47 +02:00
cvc4
sci-mathematics/cvc4: enable py3.14
2026-05-11 09:55:36 +02:00
dataplot
…
dsfmt
sci-mathematics/dsfmt: add 2.2.5
2026-08-23 10:59:43 +02:00
dunshire
sci-mathematics/dunshire: support python-3.14
2026-05-12 09:29:20 -04:00
easycrypt
sci-mathematics/easycrypt: drop old 2026.03
2026-07-30 13:11:46 +02:00
eclib
sci-mathematics/eclib: drop 20250122
2026-01-20 08:21:42 -05:00
ent
…
eprover
…
euler
…
fann
…
flint
sci-mathematics/flint: Stabilize 3.5.0 amd64, #976544
2026-06-02 00:46:15 -04:00
flocq
…
form
sci-mathematics/form: bump to 5.0.0
2026-03-07 23:15:15 +07:00
fricas
sci-mathematics/fricas: bump to 1.3.13
2026-03-06 19:07:25 +07:00
frobby
…
functions-matlab-colormaps
…
gap
sci-mathematics/gap: add 4.16.1, drop 4.16.0
2026-08-24 15:56:36 -04:00
gappa
…
gappalib-coq
…
genius
sci-mathematics/genius: add 1.0.29
2026-05-02 18:44:39 +02:00
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: add 0.8_beta1
2026-06-18 08:40:38 -04:00
giac
…
gimps
…
ginac
sci-mathematics/ginac: remove old version
2026-06-02 13:33:40 +07:00
glpk
sci-mathematics/glpk: drop 5.0-r3
2026-06-15 14:29:06 -04:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
highs
sci-mathematics/highs: stabilize 1.14.0-r3 for amd64
2026-07-11 14:22:38 -04:00
jags
…
kind2
…
kissat
sci-mathematics/kissat: bump to 4.0.4
2026-04-15 20:29:17 +02:00
lcalc
sci-mathematics/lcalc: drop 2.0.5-r2
2026-02-28 11:09:12 -05:00
lean
sci-mathematics/lean: drop old 4.23.0
2026-07-04 15:45:59 +02:00
libpoly
…
lpsolve
sci-mathematics/lpsolve: prevent direct toolchain calls, respect LDFLAGS
2026-05-30 10:40:36 +01:00
lrcalc
…
manifold
sci-mathematics/manifold: enable py3.14
2026-06-06 16:49:04 +01:00
mathematica
sci-mathematics/mathematica: update EAPI 7 -> 8
2026-05-11 14:02:20 +02:00
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: remove old version
2026-08-20 12:29:30 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: add 2.9.3
2026-08-15 20:55:19 -04:00
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: Switch to qt-utils.eclass
2026-07-12 10:25:11 +02:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
sci-mathematics/petsc: enable py3.14
2026-06-07 13:44:33 +02:00
picosat
…
planarity
sci-mathematics/planarity: updated tarball has fixed shebang
2026-06-24 23:26:19 -04:00
plfit
sci-mathematics/plfit: drop 0.9.5
2026-01-20 08:20:47 -05:00
polymake
sci-mathematics/polymake: drop 4.13, 4.14
2026-08-20 17:58:01 -04:00
primecount
sci-mathematics/primecount: drop 7.13-r1
2026-05-09 19:06:39 -04:00
primesieve
…
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
…
rkward
sci-mathematics/rkward: remove unused patch(es)
2026-05-03 16:37:42 +02:00
rngstreams
…
rw
sci-mathematics/rw: add 0.10
2026-08-12 20:34:07 -04:00
sha1-polyml
…
singular
sci-mathematics/singular: drop 4.4.1
2026-06-21 23:33:10 -04:00
slepc
sci-mathematics/slepc: enable py3.14
2026-06-07 13:51:37 +02:00
smtinterpol
…
spin
…
stp
*/*: retire proxied maintainer
2026-06-15 10:42:15 +03:00
sympow
…
topcom
…
twelf
…
unuran
…
vampire
sci-mathematics/vampire: drop 5.0.0
2026-07-07 13:37:41 +02:00
verifpal
…
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: drop 2021-r1
2026-02-20 13:02:17 +01:00
wxmaxima
sci-mathematics/wxmaxima: bump to 26.06.2
2026-07-02 15:37:42 +07:00
yacas
sci-mathematics/yacas: drop 1.9.1-r2
2026-06-16 22:25:29 +02:00
yafu
…
yices2
sci-mathematics/yices2: add 2.7.0
2026-07-01 00:10:34 +02:00
z3
sci-mathematics/z3: Stabilize 5.0.0 arm, #981165
2026-08-23 05:40:23 -04:00
metadata.xml
…