gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-23 18:38:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
e7f46fbdbf3d8d5d588ad2e59bcc8cd90b31753e
gentoo/sci-mathematics
History
Georgy Yakovlev 295868c5cc sci-mathematics/geogebra-bin: drop 5.0.683.0 
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
2023-01-22 15:24:17 -08:00
..
4ti2
…
acl2
sci-mathematics/acl2: install TAGS if USE=emacs
2023-01-08 15:08:24 +01:00
alectryon
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
alt-ergo
sci-mathematics/alt-ergo: remove seq reference from dune build file
2022-11-19 22:26:53 +01:00
arb
sci-mathematics/arb: Stabilize 2.23.0 x86, #864999
2022-12-18 20:48:44 +02:00
bertini
…
boolector
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
btor2tools
sci-mathematics/btor2tools: remove unused patch
2023-01-13 16:48:37 +01:00
cadabra
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01: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
sci-mathematics/coq: drop old 8.11.2-r1
2022-11-26 16:30:59 +01:00
coq-mathcomp
…
coq-serapi
sci-mathematics/coq-serapi: drop old 0.15.0-r3
2023-01-12 02:23:40 +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
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
dataplot
…
diagrtb
…
dsfmt
…
dunshire
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
easycrypt
…
eclib
sci-mathematics/eclib: add 20221012
2022-12-21 07:31:29 -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: new package; add 4.1.0
2022-12-24 23:26:48 +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: new package; add 1.5.2
2022-12-24 23:26:49 +01:00
genius
Move {virtual -> app-alternatives}/yacc
2022-12-02 21:09:48 +00:00
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
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
glpk
sci-mathematics/glpk: keyword 5.0-r1 for ~loong
2022-12-04 17:22:25 +08:00
gmm
sci-mathematics/gmm: add 5.4.2
2022-12-16 19:52:44 +01:00
gmp-ecm
sci-mathematics/gmp-ecm: drop 7.0.4-r4
2022-11-19 19:48:44 -05:00
gp2c
…
gretl
…
gsl-shell
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
jags
sci-mathematics/jags: add 4.3.1
2022-11-22 07:57:06 +00:00
kissat
sci-mathematics/kissat: new package; add 3.0.0
2023-01-10 05:22:47 +01:00
lcalc
…
lean
sci-mathematics/lean: bump to 3.50.3
2022-12-27 03:14:07 +01:00
libpoly
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
lpsolve
…
lrcalc
…
mathematica
…
mathlib-tools
sci-mathematics/mathlib-tools: Remove Python < 3.10
2023-01-10 15:29:53 +01:00
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: this version is incompatible with the new gcl-2.6.14
2023-01-22 13:29:14 +07:00
metamath
…
metamath-databases
…
minisat
…
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: Stabilize 6.4.0-r5 arm64, #886641
2023-01-13 15:36:59 +02:00
octave-epstk
…
opensmt
sci-mathematics/opensmt: prevent fetching googletest
2023-01-13 19:58:39 +01:00
otter
…
pari
sci-mathematics/pari: move LDFLAGS patch into the ebuild.
2023-01-21 20:15:06 -05:00
pari-data
…
petsc
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
picosat
Revert "sci-mathematics/picosat: also install static libraries"
2023-01-13 16:42:37 +01:00
planarity
…
polymake
sci-mathematics/polymake: Stabilize 4.6-r1 x86, #832376
2022-12-23 22:49:23 +02:00
primecount
sci-mathematics/primecount: add 7.6
2022-12-20 16:17:50 -05:00
primesieve
sci-mathematics/primesieve: add 11.0
2022-12-20 16:17:49 -05:00
prng
…
prover9
…
psmt2-frontend
…
pspp
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
rkward
…
rngstreams
sci-mathematics/rngstreams: use HTTPS
2022-12-03 06:06:08 +00:00
rw
…
sha1-polyml
…
singular
sci-mathematics/singular: add 4.3.1_p3, drop 4.3.1_p2
2023-01-10 17:41:49 -05:00
slepc
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
smtinterpol
…
spin
Move {virtual -> app-alternatives}/yacc
2022-12-02 21:09:48 +00:00
stp
*/*: remove py3.8 from PYTHON_COMPAT
2023-01-14 13:51:19 +01:00
sympow
…
topcom
…
twelf
…
unuran
sci-mathematics/unuran: add 1.9.0
2022-12-03 06:06:08 +00:00
vampire
…
verit
…
why3
…
why3-for-spark
sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12
2022-11-26 14:46:56 +01:00
wxmaxima
sci-mathematics/wxmaxima: bump to 22.12.0
2023-01-04 12:40:06 +07:00
yacas
sci-mathematics/yacas: drop 1.7.0-r1
2022-12-19 15:44:56 +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
…