gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity
Files
0fea367305dbe93bbdccd52bcace896f3ee1f3fc
gentoo/sci-mathematics
History
Arthur Zamarin 20b28a3c38 sci-mathematics/cadical: Stabilize 2.0.0 amd64, #949943 
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
2025-02-19 09:32:19 +02:00
..
4ti2
sci-mathematics/4ti2: add 1.6.10
2025-02-08 02:07:13 +00:00
abc
…
acl2
…
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: keyword 2.4.3-r2 for ~arm64
2025-02-15 13:31:43 +01:00
arb
…
bertini
…
boolector
…
btor2tools
…
cadabra
Rename dev-python/{gmpy → gmpy2}
2024-11-11 05:21:33 +01:00
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 amd64, #945551
2024-12-05 21:16:19 +00:00
clipper2
sci-mathematics/clipper2: Stabilize 1.4.0 amd64, #946112
2025-01-03 22:26:00 +00:00
cliquer
…
coq
sci-mathematics/coq: add ~arm64
2025-02-08 22:51:36 +01:00
coq-mathcomp
…
coq-serapi
sci-mathematics/coq-serapi: drop old 0.19.0
2024-11-19 20:52:08 +01:00
cryptominisat
…
cubicle
…
cudd
…
cvc4
…
dataplot
…
diagrtb
…
dsfmt
…
dunshire
…
easycrypt
sci-mathematics/easycrypt: bump to 2025.02
2025-02-16 23:35:17 +01:00
eclib
sci-mathematics/eclib: add 20250122, drop 20241112
2025-01-31 21:19:20 +00:00
ent
…
eprover
…
euler
…
fann
…
flint
sci-mathematics/flint: pass --disable-assembly to ./configure
2024-12-18 18:49:03 -05:00
flocq
sci-mathematics/flocq: bump to 4.2.1
2025-02-16 23:35:16 +01:00
form
…
fricas
…
frobby
…
gap
sci-mathematics/gap: backport another upstream patch
2024-11-24 09:33:56 -05:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
sci-mathematics/geogebra-bin: drop to maintainer-needed
2024-12-23 07:04:00 +01:00
geomview
…
gfan
sci-mathematics/gfan: remove unused patch
2025-01-19 00:48:57 +01:00
giac
sci-mathematics/giac: drop 1.9.0.29-r2
2025-01-16 09:18:34 -05:00
gimps
…
ginac
…
glpk
sci-mathematics/glpk: drop 5.0-r1
2025-01-16 09:18:33 -05:00
gmm
sci-mathematics/gmm: Stabilize 5.4.2 amd64, #942176
2024-10-25 23:08:55 +01:00
gmp-ecm
sci-mathematics/gmp-ecm: use pre-autoconf'd tarball
2025-01-14 13:10:49 -05:00
gp2c
…
gretl
…
gsl-shell
…
jags
sci-mathematics/jags: drop 4.3.0
2024-11-15 23:23:29 +01:00
kind2
…
kissat
…
lcalc
sci-mathematics/lcalc: add 2.1.0
2025-01-10 10:25:51 -05:00
lean
sci-mathematics/lean: Stabilize 4.14.0-r1 amd64, #949943
2025-02-19 09:32:19 +02:00
libpoly
…
lpsolve
…
lrcalc
…
manifold
sci-mathematics/manifold: Stabilize 3.0.1 amd64, #949659
2025-02-12 21:25:02 +02:00
mathematica
sci-mathematics/mathematica: "fix" sandbox violation
2024-11-13 16:49:11 +01:00
mathmod
…
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: drop 8.3.0-r2
2025-01-25 14:23:34 +01:00
octave-epstk
…
opensmt
…
otter
…
palp
…
pari
sci-mathematics/pari: Stabilize 2.17.1 ppc64, #949165
2025-02-01 13:35:32 +02:00
pari-data
…
petsc
sci-mathematics/petsc: add 3.22.2
2024-12-11 22:55:10 -06:00
picosat
…
planarity
…
plfit
sci-mathematics/plfit: drop 0.9.3
2024-12-09 11:51:48 -05:00
polymake
sci-mathematics/polymake: add 4.13, drop 4.12
2024-11-23 09:06:13 -05:00
primecount
…
primesieve
sci-mathematics/primesieve: keyword 12.3 for ~loong
2025-01-06 15:06:22 +08:00
prng
…
prover9
…
proverif
…
psmt2-frontend
sci-mathematics/psmt2-frontend: keyword 0.4.0 for ~arm64
2025-02-15 13:31:33 +01:00
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: drop 4.3.2_p16-r1
2025-01-14 16:04:34 -05:00
slepc
sci-mathematics/slepc: add 3.22.1
2024-12-11 22:55:10 -06:00
smtinterpol
sci-mathematics/smtinterpol: dekeyword x86
2024-10-17 18:32:13 +03:00
spin
…
stp
Rename dev-python/{OutputCheck → outputcheck}
2024-11-22 22:31:26 +01:00
sympow
sci-mathematics/sympow: drop 2.023.6
2024-12-22 14:48:54 -05:00
topcom
…
twelf
…
unuran
…
vampire
…
verifpal
…
verit
…
why3
sci-mathematics/why3: bump to 1.8.0
2025-02-16 23:35:16 +01:00
why3-for-spark
sci-mathematics/why3-for-spark: fix for spark
2025-02-11 18:09:31 +01:00
wxmaxima
sci-mathematics/wxmaxima: remove old versions
2025-01-30 12:53:30 +07:00
yacas
sci-mathematics/yacas: drop 1.9.1-r1
2025-01-23 00:14:36 +01:00
yafu
Move {sys-devel → llvm-core}/clang-runtime
2024-12-11 12:53:16 +01:00
yices2
…
z3
sci-mathematics/z3: Remove old
2025-01-04 20:08:48 +01:00
metadata.xml
…