index
:
portage
edge
master
next
Portage tree snapshot
Redcore Linux Project
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
metadata
/
md5-cache
/
sci-mathematics
Mode
Name
Size
-rw-r--r--
4ti2-1.6.2
1079
log
plain
-rw-r--r--
4ti2-1.6.5
1081
log
plain
-rw-r--r--
4ti2-1.6.6
1088
log
plain
-rw-r--r--
4ti2-1.6.7
1053
log
plain
-rw-r--r--
Macaulay2-1.8.2.1-r1
2412
log
plain
-rw-r--r--
Manifest.gz
25843
log
plain
-rw-r--r--
agda-2.4.2.5-r2
4774
log
plain
-rw-r--r--
agda-2.5.2-r1
5849
log
plain
-rw-r--r--
agda-lib-ffi-0.0.2
969
log
plain
-rw-r--r--
agda-lib-ffi-0.0.2-r2
1002
log
plain
-rw-r--r--
agda-stdlib-2.4.2.5
1345
log
plain
-rw-r--r--
agda-stdlib-2.5.2.0.13
1233
log
plain
-rw-r--r--
alt-ergo-1.30
591
log
plain
-rw-r--r--
arb-2.11.1-r1
899
log
plain
-rw-r--r--
axiom-200805
818
log
plain
-rw-r--r--
bertini-1.4
501
log
plain
-rw-r--r--
calc-2.12.2.2
794
log
plain
-rw-r--r--
calc-2.12.4.13-r1
802
log
plain
-rw-r--r--
calc-2.12.5.4
569
log
plain
-rw-r--r--
cgal-4.10
1800
log
plain
-rw-r--r--
cgal-4.9
1820
log
plain
-rw-r--r--
coq-8.6
1250
log
plain
-rw-r--r--
coq-8.6.1
1257
log
plain
-rw-r--r--
cvc3-2.4.1
755
log
plain
-rw-r--r--
cvc3-2.4.1-r1
755
log
plain
-rw-r--r--
dataplot-20090821
1373
log
plain
-rw-r--r--
dataplot-20131220
1373
log
plain
-rw-r--r--
diagrtb-2.64
1192
log
plain
-rw-r--r--
drgeo-1.1.0-r1
878
log
plain
-rw-r--r--
dunshire-0.1.1
1802
log
plain
-rw-r--r--
e-1.5
507
log
plain
-rw-r--r--
e-1.6
507
log
plain
-rw-r--r--
e-1.8
507
log
plain
-rw-r--r--
e-1.8-r1
507
log
plain
-rw-r--r--
ent-101202
653
log
plain
-rw-r--r--
euler-1.61.0
1038
log
plain
-rw-r--r--
factmsieve-76-r1
1009
log
plain
-rw-r--r--
fann-2.2.0-r1
1299
log
plain
-rw-r--r--
fann-9999
1271
log
plain
-rw-r--r--
flint-2.4.4-r1
935
log
plain
-rw-r--r--
flint-2.4.5
933
log
plain
-rw-r--r--
flint-2.5.2
943
log
plain
-rw-r--r--
form-4.1
926
log
plain
-rw-r--r--
form-4.2.0
944
log
plain
-rw-r--r--
fricas-1.3.0-r1
1223
log
plain
-rw-r--r--
fricas-1.3.1
1159
log
plain
-rw-r--r--
fricas-1.3.2
1159
log
plain
-rw-r--r--
frobby-0.9.0-r1
756
log
plain
-rw-r--r--
frobby-0.9.0-r2
523
log
plain
-rw-r--r--
genius-1.0.21
1825
log
plain
-rw-r--r--
geogebra-5.0.339.0_p20170308-r1
22379
log
plain
-rw-r--r--
geomview-1.9.5-r1
1101
log
plain
-rw-r--r--
gfan-0.5-r1
781
log
plain
-rw-r--r--
ggnfs-0.77.1-r2
984
log
plain
-rw-r--r--
gimps-28.10-r1
620
log
plain
-rw-r--r--
gimps-29.4.5
730
log
plain
-rw-r--r--
ginac-1.6.6
1019
log
plain
-rw-r--r--
ginac-1.7.2
1069
log
plain
-rw-r--r--
glpk-4.45
1018
log
plain
-rw-r--r--
glpk-4.48
1221
log
plain
-rw-r--r--
glpk-4.54
1418
log
plain
-rw-r--r--
glpk-4.55
1418
log
plain
-rw-r--r--
glpk-4.57
1367
log
plain
-rw-r--r--
glpk-4.60
1373
log
plain
-rw-r--r--
glpk-4.61-r1
1380
log
plain
-rw-r--r--
glpk-4.63
1375
log
plain
-rw-r--r--
gmm-5.1
793
log
plain
-rw-r--r--
gmp-ecm-6.4.3-r5
975
log
plain
-rw-r--r--
gmp-ecm-6.4.4-r1
1271
log
plain
-rw-r--r--
gmp-ecm-9999
1318
log
plain
-rw-r--r--
gretl-1.9.14
1727
log
plain
-rw-r--r--
gretl-1.9.90
1880
log
plain
-rw-r--r--
gsl-shell-2.3.0_beta1
697
log
plain
-rw-r--r--
gwnum-277
649
log
plain
-rw-r--r--
isabelle-2016.1
2925
log
plain
-rw-r--r--
jags-3.4.0
1032
log
plain
-rw-r--r--
jags-4.0.0
1034
log
plain
-rw-r--r--
jags-4.1.0
853
log
plain
-rw-r--r--
jags-4.2.0
851
log
plain
-rw-r--r--
kodkod-1.5.2
1350
log
plain
-rw-r--r--
kodkod-1.5.2-r1
1350
log
plain
-rw-r--r--
kodkodi-1.5.2
1253
log
plain
-rw-r--r--
kodkodi-1.5.2-r1
1243
log
plain
-rw-r--r--
lpsolve-5.5.2.0
419
log
plain
-rw-r--r--
lybniz-1.3.2-r1
1234
log
plain
-rw-r--r--
mathmod-4.1-r1
941
log
plain
-rw-r--r--
mathomatic-15.8.5
816
log
plain
-rw-r--r--
mathomatic-16.0.5
874
log
plain
-rw-r--r--
maxima-5.38.1
2321
log
plain
-rw-r--r--
maxima-5.41.0
2324
log
plain
-rw-r--r--
maxima-5.41.0-r1
2466
log
plain
-rw-r--r--
minisat-2.2.0-r4
542
log
plain
-rw-r--r--
minisat-2.2.0_p20130925
656
log
plain
-rw-r--r--
mlpy-3.5.0
1821
log
plain
-rw-r--r--
msieve-1.51
901
log
plain
-rw-r--r--
msieve-9999
975
log
plain
-rw-r--r--
nauty-2.5.9
385
log
plain
-rw-r--r--
nauty-2.6.7
942
log
plain
-rw-r--r--
nestedsums-1.5.1
879
log
plain
-rw-r--r--
normaliz-2.12.2
836
log
plain
-rw-r--r--
normaliz-3.1.1
842
log
plain
-rw-r--r--
normaliz-3.1.3
646
log
plain
-rw-r--r--
normaliz-3.3.0
1078
log
plain
-rw-r--r--
num-utils-0.3
365
log
plain
-rw-r--r--
num-utils-0.5-r1
758
log
plain
-rw-r--r--
nusmv-2.6.0
1454
log
plain
-rw-r--r--
octave-4.2.1
4200
log
plain
-rw-r--r--
octave-epstk-2.3
779
log
plain
-rw-r--r--
octave-epstk-2.4
779
log
plain
-rw-r--r--
otter-3.3-r3
517
log
plain
-rw-r--r--
p9m4-05-r1
1867
log
plain
-rw-r--r--
pari-2.3.5
1462
log
plain
-rw-r--r--
pari-2.9.4
1223
log
plain
-rw-r--r--
pari-data-20120726
782
log
plain
-rw-r--r--
polymake-3.0_p2
1544
log
plain
-rw-r--r--
prng-3.0.2-r2
676
log
plain
-rw-r--r--
prover9-2009.11a
802
log
plain
-rw-r--r--
pspp-0.10.1
1463
log
plain
-rw-r--r--
pspp-0.10.2
1465
log
plain
-rw-r--r--
pymc-2.3.6
3159
log
plain
-rw-r--r--
pymc3-3.1
11058
log
plain
-rw-r--r--
reduce-20110414-r1
791
log
plain
-rw-r--r--
relational-2.5
2384
log
plain
-rw-r--r--
rkward-0.6.5_p20170420
3303
log
plain
-rw-r--r--
rngstreams-1.0.1
918
log
plain
-rw-r--r--
rstudio-1.1.368
3753
log
plain
-rw-r--r--
rstudio-1.1.383
3753
log
plain
-rw-r--r--
rw-0.7-r2
529
log
plain
-rw-r--r--
sha1-polyml-5.5.0
410
log
plain
-rw-r--r--
sha1-polyml-5.6_p1
402
log
plain
-rw-r--r--
singular-3.1.6
2509
log
plain
-rw-r--r--
singular-4.0.2
1624
log
plain
-rw-r--r--
singular-4.0.3
1627
log
plain
-rw-r--r--
snns-4.3-r2
1453
log
plain
-rw-r--r--
snns-4.3-r3
1372
log
plain
-rw-r--r--
spass-3.7
562
log
plain
-rw-r--r--
spass-3.9
532
log
plain
-rw-r--r--
spin-6.2.1
836
log
plain
-rw-r--r--
spin-6.2.3
844
log
plain
-rw-r--r--
spin-6.2.5
844
log
plain
-rw-r--r--
spin-6.4.5
808
log
plain
-rw-r--r--
topcom-0.17.7
930
log
plain
-rw-r--r--
twelf-1.7.1
920
log
plain
-rw-r--r--
unuran-1.8.1
1101
log
plain
-rw-r--r--
why3-for-spark-2017
1374
log
plain
-rw-r--r--
wxmaxima-15.08.2
1089
log
plain
-rw-r--r--
wxmaxima-16.04.2
1092
log
plain
-rw-r--r--
wxmaxima-16.12.0
1092
log
plain
-rw-r--r--
wxmaxima-16.12.2
1092
log
plain
-rw-r--r--
wxmaxima-17.10.1
1355
log
plain
-rw-r--r--
xmds-2.2.2
1674
log
plain
-rw-r--r--
yacas-1.6.1-r1
1991
log
plain
-rw-r--r--
yafu-1.34.3
897
log
plain
-rw-r--r--
yafu-9999
989
log
plain
-rw-r--r--
z3-4.4.1
1620
log
plain
-rw-r--r--
z3-4.5.0
1645
log
plain