gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-08 18:27:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
bf4e722ce9706eb0a96dfad69ff0d82230524e2d
gentoo/sci-mathematics
T
History
Andrey Grozin 3950e0273a sci-mathematics/ginac: BDEPEND on media-gfx/transfig 
Closes: https://bugs.gentoo.org/926432
Closes: https://bugs.gentoo.org/929791
Signed-off-by: Andrey Grozin <grozin@gentoo.org>
2024-04-18 18:52:49 +07:00
..
4ti2
…
abc
…
acl2
sci-mathematics/acl2: fix find call
2024-03-08 12:55:09 +01:00
alectryon
…
alt-ergo
…
arb
…
bertini
sci-mathematics/bertini: sys-devel/bison -> app-alternatives/yacc
2024-01-08 12:25:11 +00:00
boolector
sci-mathematics/boolector: fix install on musl
2024-04-09 11:30:07 +02:00
btor2tools
…
cadabra
sci-mathematics/cadabra: bump to 2.4.5.5
2024-04-18 00:10:41 +02:00
cadical
sci-mathematics/cadical: bump to 1.9.5
2024-03-04 22:57:02 +01:00
calc
…
cgal
sci-mathematics/cgal: drop 5.5, 5.5.2
2024-02-20 21:48:18 +01:00
cliquer
…
coq
sci-mathematics/coq: bump to 8.19.1
2024-03-04 22:56:46 +01:00
coq-mathcomp
sci-mathematics/coq-mathcomp: drop old 1.17.0
2024-03-04 22:56:45 +01:00
coq-serapi
sci-mathematics/coq-serapi: drop old 0.18.1
2024-03-04 22:56:45 +01:00
cryptominisat
sci-mathematics/cryptominisat: bump to 5.11.21
2024-02-14 21:27:58 +01:00
cubicle
…
cudd
…
cvc4
sci-mathematics/cvc4: PythonCompatUpdate
2024-01-19 22:31:45 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: support python-3.12, drop 3.9
2024-04-13 12:54:04 -04:00
easycrypt
sci-mathematics/easycrypt: bump to 2024.01
2024-02-03 14:00:12 +01:00
eclib
sci-mathematics/eclib: drop 20230424
2024-02-08 19:16:16 -05:00
ent
…
eprover
sci-mathematics/eprover: fix build on musl
2024-02-19 21:54:33 +01:00
euler
…
fann
…
flint
sci-mathematics/flint: add 3.1.0
2024-03-10 22:54:35 -04:00
flocq
…
form
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
fricas
sci-mathematics/fricas: bump to 1.3.10
2024-01-11 16:49:04 +07:00
frobby
…
gap
sci-mathematics/gap: drop 4.12.2-r4
2024-03-19 16:45:32 -04:00
gappa
sci-mathematics/gappa: bump to 1.4.2
2024-01-15 22:20:41 +01:00
gappalib-coq
…
genius
Move {sys-devel → dev-build}/autoconf-archive
2024-01-15 16:58:23 +01:00
geogebra-bin
sci-mathematics/geogebra-bin: sort keywords
2024-01-10 14:34:46 +01:00
geomview
…
gfan
sci-mathematics/gfan: mark as LTO-unsafe
2024-03-22 05:31:50 +00:00
giac
sci-mathematics/giac: remove unused patches
2024-03-16 13:13:23 +01:00
gimps
sci-mathematics/gimps: drop 30.7.9, 30.19.13
2024-04-14 16:06:28 +00:00
ginac
sci-mathematics/ginac: BDEPEND on media-gfx/transfig
2024-04-18 18:52:49 +07:00
glpk
sci-mathematics/glpk: mark as LTO-unsafe, strict-aliasing unsafe
2024-03-05 04:47:50 +00:00
gmm
…
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
…
jags
…
kind2
…
kissat
…
lcalc
…
lean
sci-mathematics/lean: Stabilize 4.2.0 amd64, #922367
2024-01-18 17:23:39 +00:00
libpoly
…
lpsolve
sci-mathematics/lpsolve: Stabilize 5.5.2.11-r2 ppc64, #921319
2024-02-02 14:41:06 +02:00
lrcalc
…
mathematica
profiles/use.desc: Make USE=cuda global
2023-12-26 11:46:05 +01:00
mathlib-tools
…
mathmod
…
mathomatic
…
maxima
…
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: fix build with autoconf-2.72
2024-03-11 21:59:17 -04:00
nestedsums
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
normaliz
sci-mathematics/normaliz: Stabilize 3.10.1 amd64, #920149
2023-12-16 18:17:14 +02:00
num-utils
…
octave
sci-mathematics/octave: fix qscintilla dep #916232
2024-04-16 19:29:06 +03:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: fix libdir on glibc only
2024-02-19 16:30:32 +01:00
otter
…
palp
sci-mathematics/palp: new package, add 2.21
2024-03-06 08:32:10 -05:00
pari
sci-mathematics/pari: add 2.15.5
2024-03-12 14:39:57 -04:00
pari-data
…
petsc
sci-mathematics/petsc: add 3.20.5
2024-03-20 06:17:06 +00:00
picosat
…
planarity
…
plfit
sci-mathematics/plfit: add 0.9.5, drop 0.9.4
2024-03-09 07:00:22 -05:00
polymake
sci-mathematics/polymake: Stabilize 4.11 amd64, #922874
2024-02-10 01:48:38 -05:00
primecount
…
primesieve
Move {app-doc → app-text}/doxygen
2024-01-12 15:36:00 +01:00
prng
…
prover9
sci-mathematics/prover9: fix tests; bump to EAPI 8
2024-02-14 18:01:37 +01:00
proverif
…
psmt2-frontend
sci-mathematics/psmt2-frontend: remove unused patch(es)
2024-03-16 13:13:23 +01:00
pspp
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
singular
sci-mathematics/singular: backport strict-aliasing/lto fix
2024-04-02 11:09:40 -04:00
slepc
sci-mathematics/slepc: add 3.20.1
2024-04-04 22:51:26 -05:00
smtinterpol
…
spin
…
stp
…
sympow
…
topcom
…
twelf
*/*: Reassign gienah's packages
2024-02-14 10:50:24 +01:00
unuran
…
vampire
…
verifpal
…
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: require ocamlopt
2023-12-29 23:43:55 +01:00
wxmaxima
sci-mathematics/wxmaxima: remove old version
2024-03-15 18:47:24 +07:00
yacas
…
yafu
…
yices2
…
z3
sci-mathematics/z3: Remove old
2024-03-23 15:36:05 +01:00
metadata.xml
…