gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity
Files
49e93b7052ada2920b3951a12046bffe00a9be98
gentoo/sci-mathematics
History
Alfredo Tupone e361aafd70 sci-mathematics/why3-for-spark: require lablgtk-2 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2023-03-31 15:12:44 +02:00
..
4ti2
…
abc
sci-mathematics/abc: new package; add 0_p20230313 and live
2023-03-13 22:37:56 +01:00
acl2
…
alectryon
Rename dev-python/{myst_parser → myst-parser}
2023-03-02 05:57:52 +01:00
alt-ergo
…
arb
…
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: enable python 3.11 support for unstable
2023-03-08 21:39:27 +01:00
cadical
…
calc
…
cgal
…
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: introduce COQ_MIN_V
2023-03-15 01:25:40 +01:00
coq-serapi
sci-mathematics/coq-serapi: introduce COQ_MIN_V
2023-03-15 01:25:40 +01:00
cryptominisat
…
cubicle
sci-mathematics/cubicle: require ocamlopt
2023-03-08 22:38:54 +01:00
cudd
…
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: Use pypi.eclass
2023-03-16 19:50:27 +01:00
easycrypt
…
eclib
sci-mathematics/eclib: drop 20220621
2023-02-09 09:00:58 -05:00
ent
…
eprover
…
euler
…
fann
…
flint
…
flintqs
…
flocq
sci-mathematics/flocq: fix deps
2023-02-16 12:55:45 +01:00
form
…
fricas
sci-mathematics/fricas: remove old
2023-03-27 17:14:53 +07:00
frobby
…
gappa
…
gappalib-coq
sci-mathematics/gappalib-coq: fix deps; add ocamlopt
2023-02-16 12:49:38 +01:00
genius
…
geogebra-bin
…
geomview
…
gfan
…
giac
…
gimps
…
ginac
sci-mathematics/ginac: bump to 1.8.6
2023-02-17 16:37:40 +07:00
glpk
…
gmm
…
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
…
libpoly
sci-mathematics/libpoly: enable py3.11
2023-02-24 10:01:56 +01:00
lpsolve
sci-mathematics/lpsolve: Keyword 5.5.2.11-r2 riscv, #881389
2023-03-07 08:14:28 +08: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
…
msieve
…
nauty
…
nestedsums
…
normaliz
…
num-utils
…
octave
sci-mathematics/octave: add 8.1.0
2023-03-16 23:12:57 +00:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: fix build on musl
2023-02-06 18:23:18 +01:00
otter
…
pari
sci-mathematics/pari: add 2.15.3, drop 2.15.2-r2
2023-03-18 15:40:52 -04:00
pari-data
…
petsc
…
picosat
…
planarity
…
polymake
…
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
…
rkward
…
rngstreams
…
rw
…
sha1-polyml
…
singular
…
slepc
…
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
…
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: require lablgtk-2
2023-03-31 15:12:44 +02:00
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
…
z3
…
metadata.xml
…