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
facf86d72bda873dcba16f149c00a2fbdcae4e36
gentoo/metadata/md5-cache/sci-mathematics
History
Repository mirror & CI 7aa67200f9 2026-07-30 11:30:53 UTC
2026-07-30 11:30:53 +00:00
..
4ti2-1.6.7-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
4ti2-1.6.10
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
abc-0_p20230313
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
abc-9999
2026-05-14 11:31:15 UTC
2026-05-14 11:31:16 +00:00
acl2-8.5_p20240307-r1
2026-02-21 10:45:57 UTC
2026-02-21 10:45:57 +00:00
acl2-8.6
2026-02-21 10:45:57 UTC
2026-02-21 10:45:57 +00:00
alectryon-2.0.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
alt-ergo-2.4.3-r3
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
arb-2.23.0
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
bertini-1.6
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
btor2tools-1.0.0_pre20220518-r1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cadabra-2.5.14_p1-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
cadical-2.0.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
cadical-3.0.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
calc-2.13.0.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
cgal-5.6
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cgal-5.6.1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cgal-6.0
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cgal-6.0.1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cgal-6.1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
clipper2-1.5.3
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
clipper2-1.5.4
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
cliquer-1.22
…
cliquer-1.23
…
coq-8.17.1-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-8.19.2-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-8.20.0-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-9.1.0-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-9.1.1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-9.2.0
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
coq-mathcomp-1.19.0-r1
…
coq-serapi-0.20.0
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
coq-stdlib-9.0.0-r1
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
coq-stdlib-9.1.0
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
cryptominisat-5.11.21-r3
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
cubicle-1.2.0-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
cudd-3.0.0-r2
2026-05-03 22:16:02 UTC
2026-05-03 22:16:02 +00:00
cvc4-1.8-r7
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
dataplot-20131220
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
dsfmt-2.2.4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
dunshire-0.1.3-r3
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
easycrypt-2026.05
2026-05-02 22:46:06 UTC
2026-05-02 22:46:06 +00:00
easycrypt-2026.06
2026-06-14 00:46:21 UTC
2026-06-14 00:46:22 +00:00
eclib-20250627
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
ent-101202
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
eprover-3.0.03
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
eprover-3.2.5
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
euler-1.61.0-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
fann-2.2.0-r2
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
fann-9999
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
flint-3.1.3_p1-r4
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
flint-3.3.1-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
flint-3.4.0-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
flint-3.5.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
flocq-4.2.1
2026-03-28 18:01:38 UTC
2026-03-28 18:01:38 +00:00
form-4.3.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
form-5.0.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
form-5.0.0_beta1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
fricas-1.3.12
2026-02-21 10:45:57 UTC
2026-02-21 10:45:57 +00:00
fricas-1.3.13
2026-03-06 12:16:00 UTC
2026-03-06 12:16:01 +00:00
frobby-0.9.0-r4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
functions-matlab-colormaps-1.0_p20250328
…
gap-4.15.1
2026-05-06 15:01:05 UTC
2026-05-06 15:01:05 +00:00
gap-4.16.0
2026-06-06 23:16:23 UTC
2026-06-06 23:16:23 +00:00
gappa-1.4.1
2026-03-28 18:01:38 UTC
2026-03-28 18:01:38 +00:00
gappa-1.4.2
2026-03-28 18:01:38 UTC
2026-03-28 18:01:38 +00:00
gappalib-coq-1.5.2-r1
2026-03-28 18:01:38 UTC
2026-03-28 18:01:38 +00:00
gappalib-coq-1.5.3
2026-03-28 18:01:38 UTC
2026-03-28 18:01:38 +00:00
genius-1.0.27-r1
2026-05-02 07:00:57 UTC
2026-05-02 07:00:57 +00:00
genius-1.0.29
2026-05-02 17:01:03 UTC
2026-05-02 17:01:04 +00:00
geogebra-bin-5.0.752.0
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
geogebra-bin-6.0.804.0-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
geomview-1.9.5-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
gfan-0.6.2-r7
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gfan-0.6.2-r8
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gfan-0.8_beta1
2026-06-18 13:16:01 UTC
2026-06-18 13:16:02 +00:00
giac-1.9.0.995-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gimps-30.8.15
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gimps-30.8.17
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gimps-30.19.14
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gimps-30.19.20
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
ginac-1.8.10
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
glpk-5.0-r4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gmm-5.4.2
…
gmp-ecm-7.0.6-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gp2c-0.0.12
…
gp2c-0.0.14
…
gretl-2021d
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
gsl-shell-2.3.5
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
highs-1.14.0-r3
2026-07-11 18:31:04 UTC
2026-07-11 18:31:04 +00:00
jags-4.3.1-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
kind2-1.9.0
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
kissat-3.1.1-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
kissat-4.0.4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
lcalc-2.1.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
lean-4.24.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
libpoly-0.1.11
2026-07-24 10:30:59 UTC
2026-07-24 10:30:59 +00:00
lpsolve-5.5.2.11-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
lpsolve-5.5.2.14
2026-05-30 09:46:01 UTC
2026-05-30 09:46:02 +00:00
lrcalc-1.2
…
lrcalc-2.1
…
manifold-3.1.0-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
manifold-3.2.1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
manifold-9999
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
mathematica-10.3.1-r2
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-12.2.0
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-13.0.1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-13.1.0-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-13.2.1-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-13.3.1-r2
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-14.0.0-r3
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-14.1.0-r2
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-14.2.1-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathematica-14.3.0-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
mathmod-13.0-r1
2026-07-14 00:31:03 UTC
2026-07-14 00:31:03 +00:00
mathomatic-16.0.5-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
maxima-5.47.0-r2
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
maxima-5.48.1-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
maxima-5.49.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
metamath-0.198
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
metamath-databases-20220303
…
minisat-2.2.1-r1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
msieve-1.53-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
msieve-1.53-r3
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
nauty-2.8.8-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
nestedsums-1.5.2-r1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
normaliz-3.9.3
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
normaliz-3.10.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
normaliz-3.10.5
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
normaliz-3.11.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
num-utils-0.5-r2
…
octave-9.2.0-r2
2026-07-14 00:31:03 UTC
2026-07-14 00:31:03 +00:00
octave-11.1.0
2026-07-14 00:31:03 UTC
2026-07-14 00:31:03 +00:00
octave-epstk-2.4
…
opensmt-2.7.0
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
opensmt-2.9.2
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
otter-3.3-r4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
palp-2.21
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
pari-2.15.5
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
pari-2.17.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
pari-2.17.2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
pari-data-20191216
…
petsc-3.22.2
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
petsc-3.23.3
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
petsc-3.23.4
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
petsc-3.24.5
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
petsc-3.25.1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
picosat-965
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
planarity-4.0.0.0
…
planarity-5.0.0.0-r2
2026-06-25 03:46:01 UTC
2026-06-25 03:46:01 +00:00
plfit-1.0.1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
polymake-4.13
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
polymake-4.14
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
polymake-4.15
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
primecount-8.0
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
primesieve-12.3
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
prng-3.0.2-r4
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
prover9-2009.11a-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
proverif-2.04-r1
2026-03-07 19:16:22 UTC
2026-03-07 19:16:22 +00:00
proverif-2.05
2026-03-07 19:16:22 UTC
2026-03-07 19:16:22 +00:00
proverif-9999
2026-05-14 11:31:15 UTC
2026-05-14 11:31:16 +00:00
psmt2-frontend-0.4.0
2026-03-29 19:31:24 UTC
2026-03-29 19:31:24 +00:00
pspp-1.6.2-r3
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
pspp-2.0.1-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
rkward-0.8.3
2026-07-05 16:46:25 UTC
2026-07-05 16:46:25 +00:00
rngstreams-1.0.1
…
rw-0.9
…
sha1-polyml-5.9
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
singular-4.4.1-r1
2026-06-22 03:46:00 UTC
2026-06-22 03:46:01 +00:00
slepc-3.22.1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
slepc-3.23.1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
slepc-3.24.2
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
slepc-3.25.1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
smtinterpol-2.5_p20211018-r1
2026-06-23 07:31:09 UTC
2026-06-23 07:31:09 +00:00
spin-6.5.2-r1
2026-06-23 15:16:07 UTC
2026-06-23 15:16:08 +00:00
stp-2.3.4-r1
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
sympow-2.023.7
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
topcom-0.17.8-r3
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
topcom-1.1.2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
twelf-1.7.1-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
unuran-1.8.1
…
unuran-1.9.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
vampire-5.0.1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
verifpal-0.27.0
2026-07-12 17:16:11 UTC
2026-07-12 17:16:11 +00:00
verit-2021.06.2
…
why3-1.6.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
why3-1.7.2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
why3-1.8.0
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
why3-1.8.1
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
why3-1.8.2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
why3-for-spark-2023.12.13-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
wxmaxima-25.04.0-r2
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
wxmaxima-26.01.0
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
wxmaxima-26.05.0-r1
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
wxmaxima-26.06.2
2026-07-02 08:46:03 UTC
2026-07-02 08:46:03 +00:00
yacas-1.9.1-r3
2026-06-08 20:16:32 UTC
2026-06-08 20:16:33 +00:00
yafu-1.34.3-r2
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
yices2-2.6.5
2026-04-22 07:16:49 UTC
2026-04-22 07:16:50 +00:00
yices2-2.7.0
2026-06-30 22:16:00 UTC
2026-06-30 22:16:00 +00:00
z3-4.16.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00
z3-5.0.0
2026-07-18 04:31:23 UTC
2026-07-18 04:31:23 +00:00