gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 18:58:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
4faf41d5ed30112b72d4b91fa6e628fab5a883ce
gentoo/sci-mathematics
History
Michael Orlitzky 7471ec1644 sci-mathematics/sympow: add 2.023.7 
Closes: https://bugs.gentoo.org/940248
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-11-03 21:55:43 -05:00
..
4ti2
…
abc
…
acl2
…
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: remove broken live 9999
2024-07-17 17:46:31 +02:00
arb
…
bertini
…
boolector
sci-mathematics/boolector: bump to 3.2.4
2024-09-30 20:22:54 +02:00
btor2tools
…
cadabra
…
cadical
…
calc
…
cgal
sci-mathematics/cgal: add 6.0, drop 6.0_beta1
2024-10-15 14:04:52 -05:00
cliquer
…
coq
sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557
2024-09-30 22:34:31 +03:00
coq-mathcomp
…
coq-serapi
sci-mathematics/coq-serapi: bump to 0.20.0
2024-09-09 02:06:05 +02:00
cryptominisat
…
cubicle
…
cudd
…
cvc4
sci-mathematics/cvc4: dekeyword x86
2024-10-17 18:32:12 +03:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: remove pypi upstream metadata
2024-09-09 22:03:22 -04:00
easycrypt
sci-mathematics/easycrypt: bump to 2024.09
2024-10-06 21:51:36 +02:00
eclib
sci-mathematics/eclib: keyword 20240408 for ~riscv
2024-08-20 13:55:59 +00:00
ent
…
eprover
…
euler
…
fann
…
flint
sci-mathematics/flint: fix the flint.pc location again
2024-10-14 08:44:24 -04:00
flocq
…
form
…
fricas
sci-mathematics/fricas: remove old versions
2024-09-23 12:48:40 +07:00
frobby
…
gap
sci-mathematics/gap: revbump with an upstream patch
2024-10-09 09:36:35 -04:00
gappa
…
gappalib-coq
…
genius
…
geogebra-bin
…
geomview
…
gfan
sci-mathematics/gfan: add another missing USE=doc build dep
2024-10-05 15:07:51 -04:00
giac
sci-mathematics/giac: remove unused patches
2024-09-20 18:35:34 +02:00
gimps
sci-mathematics/gimps: Stabilize 30.19.20 amd64, #938726
2024-08-31 05:50:47 +01:00
ginac
…
glpk
sci-mathematics/glpk: steal strict-aliasing patch from Fedora
2024-10-24 10:36:14 -04:00
gmm
sci-mathematics/gmm: Stabilize 5.4.2 amd64, #942176
2024-10-25 23:08:55 +01:00
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
sci-mathematics/gsl-shell: remove unused patches
2024-08-26 01:53:37 +02:00
jags
sci-mathematics/jags: make sure elibtoolize is applied
2024-08-05 20:18:31 -04:00
kind2
…
kissat
…
lcalc
sci-mathematics/lcalc: keyword 2.0.5-r2 for ~riscv
2024-08-26 20:37:56 -04:00
lean
sci-mathematics/lean: bump to 4.11.0
2024-09-20 00:01:39 +02:00
libpoly
sci-mathematics/libpoly: enable py3.12
2024-07-31 11:23:07 +02:00
lpsolve
…
lrcalc
sci-mathematics/lrcalc: keyword 2.1 for ~riscv
2024-08-20 21:03:36 +00:00
mathematica
sci-mathematics/mathematica: for M 10, we also need to preload harfbuzz now
2024-10-16 23:42:47 +02:00
mathlib-tools
sci-mathematics/mathlib-tools: enable py3.12
2024-07-31 11:23:07 +02:00
mathmod
sci-mathematics/mathmod: drop old
2024-08-26 01:53:41 +02:00
mathomatic
…
maxima
sci-mathematics/maxima: keyword 5.47.0-r1 for ~riscv
2024-09-01 16:50:13 -04:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: drop 9.2.0
2024-08-29 23:55:45 +02:00
octave-epstk
…
opensmt
…
otter
…
palp
sci-mathematics/palp: keyword 2.21 for ~riscv
2024-08-20 14:14:11 +00:00
pari
sci-mathematics/pari: keyword 2.15.5 for ~riscv
2024-08-19 12:47:28 +00:00
pari-data
sci-mathematics/pari-data: fix cosmetic pkgcheck warnings
2024-08-19 12:47:27 +00:00
petsc
sci-mathematics/petsc: remove outdated LTO workaround
2024-07-22 23:32:33 -04:00
picosat
…
planarity
sci-mathematics/planarity: fix remote-id in metadata.xml
2024-08-23 11:34:36 -04:00
plfit
…
polymake
sci-mathematics/polymake: un-keyword for x86
2024-10-26 23:06:27 -04:00
primecount
sci-mathematics/primecount: keyword 7.13-r1 for ~riscv
2024-08-20 14:06:11 +00:00
primesieve
sci-mathematics/primesieve: keyword 12.3 for ~riscv
2024-08-20 14:05:40 +00:00
prng
…
prover9
…
proverif
…
psmt2-frontend
…
pspp
sci-mathematics/pspp: enable py3.12
2024-07-31 11:23:08 +02:00
rkward
sci-mathematics/rkward: drop 0.7.5
2024-09-05 18:50:25 +02:00
rngstreams
…
rw
sci-mathematics/rw: drop IUSE=""
2024-09-20 23:28:29 -04:00
sha1-polyml
…
singular
sci-mathematics/singular: add 4.4.0_p6, drop 4.4.0_p2
2024-10-04 23:35:52 -04:00
slepc
…
smtinterpol
sci-mathematics/smtinterpol: dekeyword x86
2024-10-17 18:32:13 +03:00
spin
…
stp
…
sympow
sci-mathematics/sympow: add 2.023.7
2024-11-03 21:55:43 -05:00
topcom
…
twelf
sci-mathematics/twelf: mark as LTO-unsafe
2024-09-09 21:04:12 -04:00
unuran
…
vampire
sci-mathematics/vampire: bump to 4.9
2024-09-30 20:22:53 +02:00
verifpal
…
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: remove old version
2024-11-02 15:18:08 +07:00
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Remove old
2024-10-19 11:49:18 +02:00
metadata.xml
…