PublicArchive/gentoo
2
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2026-05-06 07:27:03 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
gentoo/sci-mathematics
T
History
Maciej Barć 37b64a4ffe sci-mathematics/cryptominisat: bump PYTHON_COMPAT to py3.14 
Closes: https://bugs.gentoo.org/974105
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2026-05-06 00:51:28 +02: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
…
btor2tools
…
cadabra
…
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
…
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
…
cryptominisat
sci-mathematics/cryptominisat: bump PYTHON_COMPAT to py3.14
2026-05-06 00:51:28 +02:00
cubicle
…
cudd
sci-mathematics/cudd: add bdeps on doxygen and graphviz
2026-05-04 00:14:06 +02:00
cvc4
…
dataplot
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: drop old 2025.11
2026-05-03 00:40:23 +02:00
eclib
…
ent
…
eprover
…
euler
…
fann
…
flint
sci-mathematics/flint: add 3.5.0
2026-04-27 09:56:50 -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: Remove full stop from DESCRIPTION
2026-05-02 11:57:33 +02:00
gappa
…
gappalib-coq
…
genius
sci-mathematics/genius: add 1.0.29
2026-05-02 18:44:39 +02:00
geogebra-bin
…
geomview
…
gfan
…
giac
…
gimps
…
ginac
…
glpk
sci-mathematics/glpk: Stabilize 5.0-r4 ppc64, #973015
2026-04-21 08:18:19 -04:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
highs
sci-mathematics/highs: drop 1.14.0
2026-05-01 07:00:33 -04:00
jags
…
kind2
…
kissat
sci-mathematics/kissat: bump to 4.0.4
2026-04-15 20:29:17 +02:00
lcalc
…
lean
sci-mathematics/lean: add 4.24.0
2026-04-18 03:23:58 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
…
mathematica
…
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: fix info building for the de locale
2026-05-04 12:12:41 +07:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: fix doc build
2026-04-29 01:23:06 +01:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
…
pari-data
…
petsc
sci-mathematics/petsc: add 3.24.5
2026-03-07 22:41:20 -06:00
picosat
…
planarity
…
plfit
…
polymake
…
primecount
…
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
…
sha1-polyml
…
singular
…
slepc
sci-mathematics/slepc: fix install phase with USE=doc
2026-03-07 23:32:47 -06:00
smtinterpol
…
spin
…
stp
sci-mathematics/stp: bump PYTHON_COMPAT to py3.14
2026-05-06 00:51:27 +02:00
sympow
…
topcom
…
twelf
…
unuran
…
vampire
sci-mathematics/vampire: bump to 5.0.1
2026-04-15 20:29:18 +02:00
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: remove old revision
2026-05-04 19:21:30 +07:00
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Remove old
2026-04-05 08:55:45 +02:00
metadata.xml
…