gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/sci-mathematics
History
Michael Orlitzky aa676b404b
sci-mathematics/gap: backport another upstream patch 
In particular, this fixes bug 944744, a test failure with the new
dev-gap/grape.

Closes: https://bugs.gentoo.org/944744
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
2024-11-24 09:33:56 -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
Rename dev-python/{gmpy → gmpy2}
2024-11-11 05:21:33 +01:00
cadical
…
calc
…
cgal
sci-mathematics/cgal: add 6.0.1 w/ tests
2024-11-23 21:24:57 +00:00
clipper2
sci-mathematics/clipper2: update ebuild, add tests
2024-11-16 21:39:07 +00:00
cliquer
…
coq
sci-mathematics/coq: drop old 8.19.1
2024-11-19 20:52:08 +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
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: add 20241112
2024-11-14 18:29:55 -05: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: backport another upstream patch
2024-11-24 09:33:56 -05: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: fix the build with gcc-15
2024-11-19 23:08:43 -05: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: drop 4.3.0
2024-11-15 23:23:29 +01: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
manifold
sci-mathematics/manifold: bump to 3.0.0_pre20241115
2024-11-16 21:39:06 +00:00
mathematica
sci-mathematics/mathematica: "fix" sandbox violation
2024-11-13 16:49:11 +01:00
mathlib-tools
Rename dev-python/{PyGithub → pygithub}
2024-11-23 11:51:14 +01: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
sci-mathematics/nauty: reorder $S for pkgcheck
2024-07-14 18:41:49 -04:00
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: add 4.13, drop 4.12
2024-11-23 09:06:13 -05: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
Rename dev-python/{OutputCheck → outputcheck}
2024-11-22 22:31:26 +01:00
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
sci-mathematics/why3: Fix sa_handler signature
2024-11-20 22:45:10 +01:00
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
…