gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity
Files
4e149cb94a67b8a8b2de6d04dd543336573b765f
gentoo/sci-mathematics
T
History
Kai-Chun Ning 978a74a61f sci-mathematics/cvc4: fix build with bash 5.2 
Closes: https://bugs.gentoo.org/883273
Signed-off-by: Kai-Chun Ning <kaichun.ning@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/29933
Signed-off-by: Sam James <sam@gentoo.org>
2023-03-05 11:31:38 +00:00
..
4ti2
…
acl2
sci-mathematics/acl2: install TAGS if USE=emacs
2023-01-08 15:08:24 +01:00
alectryon
Rename dev-python/{myst_parser → myst-parser}
2023-03-02 05:57:52 +01:00
alt-ergo
sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1
2023-01-30 20:48:23 +01:00
arb
sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1
2023-01-26 21:48:11 +01:00
bertini
sci-mathematics/bertini: bump to 1.6
2023-02-06 18:23:18 +01:00
boolector
sci-mathematics/boolector: H -> COMMIT
2023-03-04 17:32:11 +01:00
btor2tools
sci-mathematics/btor2tools: H -> COMMIT
2023-03-04 17:32:11 +01:00
cadabra
sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303
2023-01-28 00:15:02 +00:00
cadical
sci-mathematics/cadical: install ccadical.h
2023-01-11 04:44:07 +01:00
calc
…
cgal
sci-mathematics/cgal: drop 5.2-r2, 5.4.1
2022-12-19 15:44:59 +01:00
cliquer
…
coq
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
2023-02-14 06:23:31 +01:00
coq-mathcomp
sci-mathematics/coq-mathcomp: fix deps
2023-02-16 12:55:45 +01:00
coq-serapi
sci-mathematics/coq-serapi: drop old 0.16.0-r1
2023-02-17 02:22:11 +01:00
cryptominisat
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
cubicle
sci-mathematics/cubicle: install the provided manual page
2023-01-11 04:44:07 +01:00
cudd
sci-mathematics/cudd: new package; add 3.0.0
2022-12-18 22:50:55 +01:00
cvc4
sci-mathematics/cvc4: fix build with bash 5.2
2023-03-05 11:31:38 +00:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
sci-mathematics/dunshire: PEP517 and python-3.11 support.
2023-02-25 14:58:37 -05:00
easycrypt
sci-mathematics/easycrypt: H -> COMMIT
2023-02-02 18:46:45 +01:00
eclib
sci-mathematics/eclib: drop 20220621
2023-02-09 09:00:58 -05:00
ent
sci-mathematics/ent: update SRC_URI
2023-01-17 20:14:28 +01:00
eprover
sci-mathematics/eprover: do not call ar/ranlib directly
2023-01-04 18:27:23 +01:00
euler
…
fann
…
flint
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
flintqs
…
flocq
sci-mathematics/flocq: fix deps
2023-02-16 12:55:45 +01:00
form
sci-mathematics/form: set VARTEXFONTS
2023-01-15 17:10:04 +07:00
fricas
…
frobby
sci-mathematics/frobby: update EAPI 6 -> 8
2022-12-26 16:59:14 +01:00
gappa
sci-mathematics/gappa: new package; add 1.4.1
2022-12-24 23:26:49 +01:00
gappalib-coq
sci-mathematics/gappalib-coq: fix deps; add ocamlopt
2023-02-16 12:49:38 +01:00
genius
…
geogebra-bin
sci-mathematics/geogebra-bin: drop 5.0.683.0
2023-01-22 15:24:17 -08:00
geomview
…
gfan
…
giac
sci-mathematics/giac: drop 1.7.0.13-r1
2022-12-23 18:58:31 -05:00
gimps
sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640
2023-01-13 10:19:27 +00:00
ginac
sci-mathematics/ginac: bump to 1.8.6
2023-02-17 16:37:40 +07:00
glpk
…
gmm
sci-mathematics/gmm: add 5.4.2
2022-12-16 19:52:44 +01:00
gmp-ecm
…
gp2c
…
gretl
…
gsl-shell
sci-mathematics/gsl-shell: add 2.3.5
2023-02-24 11:28:58 +01:00
jags
…
kissat
sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27
2023-02-15 01:24:30 -05:00
lcalc
…
lean
sci-mathematics/lean: bump to 3.50.3
2022-12-27 03:14:07 +01:00
libpoly
sci-mathematics/libpoly: enable py3.11
2023-02-24 10:01:56 +01:00
lpsolve
sci-mathematics/lpsolve: add subslot for new version
2023-02-04 17:22:57 +00:00
lrcalc
…
mathematica
sci-mathematics/mathematica: add 13.2.1
2023-03-03 15:25:58 +01:00
mathlib-tools
sci-mathematics/mathlib-tools: enable py3.11
2023-02-24 09:58:54 +01:00
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: add python3_11
2023-02-16 20:17:46 +07:00
metamath
…
metamath-databases
sci-mathematics/metamath-databases: H -> COMMIT
2023-03-04 17:32:11 +01:00
minisat
sci-mathematics/minisat: fix build on musl
2023-02-06 18:23:18 +01:00
msieve
…
nauty
sci-mathematics/nauty: add upstream patch for gentourng and gentreeg.
2023-01-17 20:22:42 -05:00
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: drop 6.4.0-r5
2023-02-07 18:25:09 +01:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: fix build on musl
2023-02-06 18:23:18 +01:00
otter
…
pari
sci-mathematics/pari: patch update for upstream bug 2441.
2023-01-26 11:28:24 -05:00
pari-data
…
petsc
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
picosat
sci-mathematics/picosat: Stabilize 965 amd64, #892299
2023-01-28 00:18:43 +00:00
planarity
…
polymake
sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376
2022-12-23 22:49:23 +02:00
primecount
sci-mathematics/primecount: drop 7.4
2023-02-07 14:31:48 -05:00
primesieve
sci-mathematics/primesieve: drop 8.0
2023-02-07 14:31:47 -05:00
prng
…
prover9
…
psmt2-frontend
…
pspp
sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1
2023-01-23 15:58:23 -05:00
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: add myself as a maintainer
2023-01-23 15:59:40 -05:00
slepc
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
smtinterpol
sci-mathematics/smtinterpol: H -> COMMIT
2023-03-04 17:32:11 +01:00
spin
…
stp
sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND
2023-02-22 00:54:00 +01:00
sympow
…
topcom
…
twelf
…
unuran
…
vampire
sci-mathematics/vampire: fix build on musl
2023-02-06 18:23:18 +01:00
verit
…
why3
…
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: remove old versions
2023-02-16 20:22:12 +07:00
yacas
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
2023-02-14 06:23:31 +01:00
yafu
…
yices2
sci-mathematics/yices2: do not install static libs
2023-01-14 03:59:24 +01:00
z3
sci-mathematics/z3: Bump to 4.12.1
2023-01-19 07:08:25 +01:00
metadata.xml
…