gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 18:47:16 -08:00
Code Issues Projects Releases Wiki Activity
Files
83d6d09cb4e95233dd64ac35c65a42d47074fc2e
gentoo/sci-mathematics
T
History
Maciej Barć 4b55615587 sci-mathematics/coq-serapi: bump to 0.16.1 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2022-10-31 04:44:24 +01:00
..
4ti2
sci-mathematics/4ti2: align longdescription opening and closing tags
2022-10-20 04:52:44 +01:00
alectryon
…
alt-ergo
sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq
2022-09-24 01:52:39 +02:00
arb
…
bertini
sci-mathematics/bertini: fix metadata indentation
2022-10-20 04:52:44 +01:00
cadabra
sci-mathematics/cadabra: drop old 2.4.2
2022-10-27 17:00:46 +02:00
cadical
sci-mathematics/cadical: bump to 1.5.3
2022-09-13 04:40:23 +02:00
calc
sci-mathematics/calc: drop 2.12.5.4, EAPI-6--
2022-08-30 23:59:22 +02:00
cgal
sci-mathematics/cgal: remove boost[threads(+)] usedep
2022-09-04 14:22:38 +02:00
cliquer
…
coq
sci-mathematics/coq: drop old 8.15.0-r2
2022-09-06 00:09:12 +02:00
coq-mathcomp
sci-mathematics/coq-mathcomp: bump to 1.15.0
2022-09-07 14:17:44 +02:00
coq-serapi
sci-mathematics/coq-serapi: bump to 0.16.1
2022-10-31 04:44:24 +01:00
cryptominisat
…
cvc4
sci-mathematics/cvc4: fix PythonHasVersionUsage
2022-10-15 15:56:16 +01:00
dataplot
sci-mathematics/dataplot: align longdescription opening and closing tags
2022-10-20 04:52:44 +01:00
diagrtb
sci-mathematics/diagrtb: align longdescription opening and closing tags
2022-10-20 04:52:44 +01:00
dsfmt
…
dunshire
…
easycrypt
…
eclib
sci-mathematics/eclib: drop 20210625
2022-10-20 17:57:54 -04:00
ent
…
euler
…
fann
…
flint
…
flintqs
…
form
…
fricas
…
frobby
…
genius
sci-mathematics/genius: drop 1.0.25, EAPI-6--
2022-08-30 19:25:13 +02:00
geogebra-bin
sci-mathematics/geogebra-bin: fix StaticSrcUri
2022-10-01 00:24:28 +01:00
geomview
…
gfan
…
giac
sci-mathematics/giac: pari 2.15 compat + -gui workaround
2022-10-04 21:29:29 -04:00
gimps
sci-mathematics/gimps: drop 30.8.16
2022-10-18 14:42:26 +02:00
ginac
…
glpk
sci-mathematics/glpk: align longdescription opening and closing tags
2022-10-20 04:52:45 +01:00
gmm
sci-mathematics/gmm: drop 5.1, 5.3
2022-09-16 19:58:04 +02:00
gmp-ecm
sci-mathematics/gmp-ecm: new revision to drop USE=cuda support.
2022-10-07 22:05:12 -04:00
gp2c
…
gretl
sci-mathematics/gretl: align longdescription opening and closing tags
2022-10-20 04:52:45 +01:00
gsl-shell
sci-mathematics/gsl-shell: align longdescription opening and closing tags
2022-10-20 04:52:45 +01:00
jags
sci-mathematics/jags: align longdescription opening and closing tags
2022-10-20 04:52:46 +01:00
lcalc
…
lean
sci-mathematics/lean: drop old 3.45.0
2022-08-30 16:35:36 +02:00
lpsolve
sci-mathematics/lpsolve: keyword 5.5.2.0-r1 for ~loong
2022-08-12 20:24:47 +08:00
lrcalc
…
mathematica
sci-mathematics/mathematica: add 13.1.0
2022-08-08 19:29:08 +02:00
mathlib-tools
sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517
2022-10-23 13:45:56 +02:00
mathmod
…
mathomatic
…
maxima
sci-mathematics/maxima: align longdescription opening and closing tags
2022-10-20 04:52:46 +01:00
metamath
…
metamath-databases
…
minisat
…
msieve
…
nauty
sci-mathematics/nauty: drop 2.7.3
2022-10-29 09:27:08 -04:00
nestedsums
…
normaliz
sci-mathematics/normaliz: drop 3.1.3-r1, 3.8.10-r1
2022-08-16 07:35:56 -04:00
num-utils
…
octave
sci-mathematics/octave: fix PkgMetadataXmlIndentation
2022-10-18 03:45:19 +01:00
octave-epstk
…
otter
sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16
2022-10-11 07:42:32 -04:00
pari
sci-mathematics/pari: align longdescription opening and closing tags
2022-10-20 04:52:47 +01:00
pari-data
…
petsc
sci-mathematics/petsc: use <pkg> tags in metadata.xml
2022-08-26 11:46:28 +01:00
planarity
sci-mathematics/planarity: drop 3.0.1.1
2022-08-11 07:51:01 -04:00
polymake
sci-mathematics/polymake: add 4.7
2022-09-09 15:07:12 -04:00
primecount
sci-mathematics/primecount: drop 7.3
2022-10-20 16:01:17 -04:00
primesieve
sci-mathematics/primesieve: drop 7.9
2022-10-20 16:00:34 -04:00
prng
…
prover9
sci-mathematics/prover9: align longdescription opening and closing tags
2022-10-20 04:52:47 +01:00
psmt2-frontend
…
pspp
sci-mathematics/pspp: align longdescription opening and closing tags
2022-10-20 04:52:47 +01:00
relational
…
rkward
sci-mathematics/rkward: drop 0.7.4
2022-10-25 18:00:41 +02:00
rngstreams
…
rw
…
sha1-polyml
sci-mathematics/sha1-polyml: drop 5.6_p1, EAPI-6--
2022-08-30 20:26:26 +02:00
singular
sci-mathematics/singular: Stabilize 4.3.1_p1 amd64, #873052
2022-10-25 12:11:36 +01:00
slepc
…
smtinterpol
sci-mathematics/smtinterpol: fix QA BadDescription
2022-10-15 21:33:31 +02:00
spin
…
stp
sci-mathematics/stp: compile python modules
2022-08-08 22:45:05 +02:00
sympow
…
topcom
…
twelf
sci-mathematics/twelf: align longdescription opening and closing tags
2022-10-20 04:52:47 +01:00
unuran
…
vampire
sci-mathematics/vampire: depend on z3 version >=4.11.2
2022-09-23 13:43:56 +02:00
verit
…
why3
sci-mathematics/why3: bump to 1.5.1
2022-09-19 20:59:23 +02:00
why3-for-spark
…
wxmaxima
sci-mathematics/wxmaxima: align longdescription opening and closing tags
2022-10-20 04:52:48 +01:00
yacas
…
yafu
…
z3
sci-mathematics/z3: Remove old
2022-09-23 15:51:40 +02:00
metadata.xml
…