gentoo-overlay/metadata/md5-cache/sci-mathematics
2013-01-28 09:11:55 +04:00
..
4ti2-1.3.2 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
4ti2-1.3.2-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
agda-1.0.2-r2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.2.6-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.3.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.3.0.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.3.0.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.3.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-2.3.2-r2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-executable-2.3.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-executable-2.3.0.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-executable-2.3.0.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-stdlib-0.6 Sync with portage [Sat Jan 12 02:19:15 MSK 2013]. 2013-01-12 02:19:23 +04:00
agda-stdlib-0.7_pre20121118 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
agda-stdlib-0.7_pre20130109 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
axiom-200805 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
cado-nfs-1.1 Sync with portage [Wed Jan 23 22:42:55 MSK 2013]. 2013-01-23 22:42:58 +04:00
calc-2.12.1.5 Sync with portage [Mon Apr 2 12:44:06 MSK 2012]. 2012-04-02 12:44:06 +04:00
calc-2.12.2.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
calc-2.12.4.3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
calc-2.12.4.4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
cgal-4.0.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
cgal-4.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.3_p1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.3_p2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.3_p3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.3_p4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
coq-8.4_p1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
cvc3-2.4.1 Sync with portage [Sat Jan 5 09:42:50 MSK 2013]. 2013-01-05 09:42:53 +04:00
dataplot-20090821 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
diagrtb-2.64 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
drgeo-1.1.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
e-1.5 Sync with portage [Thu Dec 6 10:19:02 MSK 2012]. 2012-12-06 10:19:10 +04:00
e-1.6 Sync with portage [Thu Dec 6 10:19:02 MSK 2012]. 2012-12-06 10:19:10 +04:00
ent-101202 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
euler-1.61.0 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
factmsieve-76 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
fann-2.1.0_beta-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
fann-2.2.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
flint-2.3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
form-4.0_p20120529 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
freemat-4.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
freemat-4.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
fricas-1.1.7-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
fricas-1.1.8 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
frobby-0.9.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
frobby-0.9.0-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
genius-1.0.11 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
genius-1.0.16 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
geomview-1.9.4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gfan-0.4-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gfan-0.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
ggnfs-0.77.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gimps-26.6-r1 Sync with portage [Tue Jan 8 20:41:29 MSK 2013]. 2013-01-08 20:41:44 +04:00
gimps-27.7-r1 Sync with portage [Tue Jan 8 20:41:29 MSK 2013]. 2013-01-08 20:41:44 +04:00
gimps-27.9 Sync with portage [Tue Jan 8 20:41:29 MSK 2013]. 2013-01-08 20:41:44 +04:00
ginac-1.5.8 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
ginac-1.6.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
ginac-1.6.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
glpk-4.45 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
glpk-4.47 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gmm-4.2 Sync with portage [Mon Dec 24 10:32:06 MSK 2012]. 2012-12-24 10:32:12 +04:00
gmp-ecm-6.4.3-r5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gmp-ecm-9999 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
gretl-1.9.11 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gsl-shell-2.2.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
gwnum-277 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
isabelle-2011.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
isabelle-2011.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
isabelle-2012 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
jags-3.2.0 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
jags-3.3.0 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
kodkod-1.5.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
kodkodi-1.5.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
lpsolve-5.5.2.0 Sync with portage [Sun Dec 9 22:34:35 MSK 2012]. 2012-12-09 22:34:53 +04:00
lybniz-1.3.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
Macaulay2-1.4 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
Macaulay2-1.4-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
mathomatic-15.8.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
mathomatic-16.0.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
mathomatic-16.0.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
maxima-5.18.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
maxima-5.26.0 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
maxima-5.27.0-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
maxima-5.28.0 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
maxima-5.29.1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
minisat-2.1.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
minisat-2.2.0-r3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
mlpy-3.5.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
msieve-1.50-r4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
msieve-9999 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
nauty-2.4.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
nestedsums-1.4.12-r1 Sync with portage [Mon Apr 2 12:44:06 MSK 2012]. 2012-04-02 12:44:06 +04:00
normaliz-2.5-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
normaliz-2.7 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
normaliz-2.8 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
num-utils-0.3 Sync with portage [Mon Apr 2 12:44:06 MSK 2012]. 2012-04-02 12:44:06 +04:00
num-utils-0.5-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
nusmv-2.3.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
nusmv-2.5.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
nusmv-2.5.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
octave-3.4.3-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
octave-3.6.3 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
octave-epstk-2.3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
octave-epstk-2.4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
otter-3.3-r1 Sync with portage [Mon Apr 2 12:44:06 MSK 2012]. 2012-04-02 12:44:06 +04:00
otter-3.3-r2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
p9m4-05 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.3.4-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.3.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.5.0-r3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.5.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.5.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-2.5.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pari-data-20120726 Sync with portage [Fri Aug 10 08:53:06 MSK 2012]. 2012-08-10 08:53:09 +04:00
polymake-2.10 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
polymake-2.11 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
polymake-2.12 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
prng-3.0.2 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
prover9-2009.11a Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pspp-0.6.2-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
pymc-2.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
pymc-9999 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
qtoctave-0.9.1-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
qtoctave-0.10.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
reduce-20110414 Sync with portage [Sat Jan 5 09:42:50 MSK 2013]. 2013-01-05 09:42:53 +04:00
reduce-20110414-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
relational-0.11 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rkward-0.5.4 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rkward-0.5.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rkward-0.5.6 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rkward-0.5.6-r1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rkward-0.5.7 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
rngstreams-1.0.1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
sha1-polyml-5.5.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
singular-3.1.2-r2 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
singular-3.1.3.1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
singular-3.1.3.3 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
singular-3.1.4 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
singular-3.1.4-r1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
snns-4.2-r8 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
snns-4.2-r9 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
spass-3.7 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
spin-6.2.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
spin-6.2.3 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
topcom-0.16.2 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
topcom-0.17.4 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
twelf-1.7.1 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
unuran-1.8.1 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
wxmaxima-0.8.2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
wxmaxima-12.01.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
wxmaxima-12.04.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
wxmaxima-12.09.0 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
xmds-1.6.5 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
xmds-1.6.6 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
yacas-1.3.2 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
yacas-1.3.3 Sync with portage [Mon Jan 28 09:11:39 MSK 2013]. 2013-01-28 09:11:55 +04:00
yafu-1.33-r2 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00
yafu-9999 Sync with portage [Tue Jan 22 09:53:35 MSK 2013]. 2013-01-22 09:53:42 +04:00