You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
root ea05fe785b
Sync with portage [Wed Mar 2 13:25:50 MSK 2016].
9 years ago
..
4ti2 Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
Macaulay2 Sync with portage [Mon Feb 8 09:17:32 MSK 2016]. 9 years ago
agda Sync with portage [Wed Feb 10 08:45:26 MSK 2016]. 9 years ago
agda-executable Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
agda-lib-ffi Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
agda-stdlib Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
axiom Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
bertini Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
cado-nfs Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
calc Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
cgal Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
coq Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
cvc3 Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
dataplot Sync with portage [Fri Feb 19 09:07:27 MSK 2016]. 9 years ago
diagrtb Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
drgeo Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
e Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
ent Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
euler Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
factmsieve Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
fann Sync with portage [Tue Feb 9 11:35:49 MSK 2016]. 9 years ago
flint Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
form Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
freemat Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
fricas Sync with portage [Mon Feb 29 09:01:32 MSK 2016]. 9 years ago
frobby Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
genius Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
geogebra Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
geomview Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gfan Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
ggnfs Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gimps Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
ginac Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
glpk Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gmm Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gmp-ecm Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gretl Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gsl-shell Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
gwnum Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
isabelle Sync with portage [Tue Feb 16 23:21:09 MSK 2016]. 9 years ago
jags Sync with portage [Wed Mar 2 13:25:50 MSK 2016]. 9 years ago
kodkod Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
kodkodi Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
lpsolve Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
lybniz Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
mathomatic Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
maxima Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
minisat Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
mlpy Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
msieve Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
nauty Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
nestedsums Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
normaliz Sync with portage [Sun Feb 21 19:21:18 MSK 2016]. 9 years ago
num-utils Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
nusmv Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
octave Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
octave-epstk Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
otter Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
p9m4 Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
pari Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
pari-data Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
polymake Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
prng Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
prover9 Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
pspp Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
pymc Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
qtoctave Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
reduce Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
relational Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
rkward Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
rngstreams Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
rstudio Sync with portage [Sun Feb 21 19:21:18 MSK 2016]. 9 years ago
rw Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
sha1-polyml Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
singular Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
snns Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
spass Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
spin Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
topcom Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
twelf Sync with portage [Sun Feb 14 21:48:30 MSK 2016]. 9 years ago
unuran Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
wxmaxima Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
xmds Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
yacas Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
yafu Sync with portage [Tue Jan 26 08:51:37 MSK 2016]. 9 years ago
metadata.xml Sync with portage [Tue Aug 25 09:05:54 MSK 2015]. 9 years ago