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
85fd6f6c318814afb0cd37da996bbfe00a0dccad
gentoo/sci-mathematics
T
History
Amy Liffey 89145e3fd4 sci-mathematics/gmm: add 5.4.2 
Signed-off-by: Amy Liffey <amynka@gentoo.org>
2022-12-16 19:52:44 +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: remove seq reference from dune build file
2022-11-19 22:26:53 +01:00
arb
sci-mathematics/arb: Keyword 2.23.0 ppc64, #871921
2022-11-18 19:29:16 +02:00
bertini
sci-mathematics/bertini: fix metadata indentation
2022-10-20 04:52:44 +01:00
cadabra
sci-mathematics/cadabra: drop old 2.4.0.2
2022-12-06 22:06:47 +01:00
cadical
…
calc
…
cgal
…
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: bump to 0.16.1
2022-10-31 04:44:24 +01:00
cryptominisat
…
cvc4
sci-mathematics/cvc4: add github upstream metadata
2022-12-05 14:32:33 +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
sci-mathematics/flint: Keyword 2.9.0 ppc64, #871921
2022-11-18 19:29:16 +02:00
flintqs
…
form
…
fricas
…
frobby
…
genius
Move {virtual -> app-alternatives}/yacc
2022-12-02 21:09:48 +00:00
geogebra-bin
sci-mathematics/geogebra-bin: fix StaticSrcUri
2022-10-01 00:24:28 +01:00
geomview
…
gfan
…
giac
Move {virtual -> app-alternatives}/yacc
2022-12-02 21:09:48 +00:00
gimps
sci-mathematics/gimps: drop 30.8.16
2022-10-18 14:42:26 +02:00
ginac
…
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
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: add 4.3.1
2022-11-22 07:57:06 +00:00
lcalc
…
lean
sci-mathematics/lean: bump to 3.50.0
2022-12-15 09:41:12 +01:00
lpsolve
…
lrcalc
…
mathematica
…
mathlib-tools
sci-mathematics/mathlib-tools: bump to 1.3.1
2022-11-29 21:44:23 +01: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
…
num-utils
…
octave
sci-mathematics/octave: drop 5.2.0
2022-11-23 21:57:54 +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: add 2.15.1, drop 2.15.0
2022-11-23 20:02:37 -05:00
pari-data
…
petsc
…
picosat
sci-mathematics/picosat: fix patch apply
2022-12-06 07:22:11 +01:00
planarity
…
polymake
sci-mathematics/polymake: stabilize 4.6-r1 for amd64
2022-12-11 12:46:16 +01: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
sci-mathematics/rngstreams: use HTTPS
2022-12-03 06:06:08 +00:00
rw
…
sha1-polyml
…
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
Move {virtual -> app-alternatives}/yacc
2022-12-02 21:09:48 +00:00
stp
sci-mathematics/stp: do not run C API tests
2022-11-06 21:10:54 +01:00
sympow
…
topcom
…
twelf
sci-mathematics/twelf: align longdescription opening and closing tags
2022-10-20 04:52:47 +01:00
unuran
sci-mathematics/unuran: add 1.9.0
2022-12-03 06:06:08 +00:00
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
sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12
2022-11-26 14:46:56 +01:00
wxmaxima
sci-mathematics/wxmaxima: align longdescription opening and closing tags
2022-10-20 04:52:48 +01:00
yacas
…
yafu
…
z3
sci-mathematics/z3: keyword 4.11.2 for ~loong
2022-11-27 10:45:03 +08:00
metadata.xml
…