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 49e5d8d1a0 Sync with portage [Fri Sep 16 13:07:19 MSK 2016].		8 years ago
..
4ti2	…
Macaulay2	Sync with portage [Fri Apr 15 15:22:06 MSK 2016].	9 years ago
agda	Sync with portage [Mon Sep 12 09:18:57 MSK 2016].	8 years ago
agda-executable	…
agda-lib-ffi	Sync with portage [Tue Apr 5 08:48:31 MSK 2016].	9 years ago
agda-stdlib	…
axiom	…
bertini	…
cado-nfs	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
calc	…
cgal	Sync with portage [Fri May 6 23:31:30 MSK 2016].	9 years ago
coq	Sync with portage [Mon Aug 15 00:51:19 MSK 2016].	8 years ago
cvc3	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
dataplot	…
diagrtb	…
drgeo	…
e	…
ent	…
euler	…
factmsieve	…
fann	Sync with portage [Tue Jul 26 09:28:02 MSK 2016].	8 years ago
flint	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
form	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
freemat	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
fricas	Sync with portage [Wed Aug 31 21:09:55 MSK 2016].	8 years ago
frobby	…
genius	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
geogebra	…
geomview	…
gfan	Sync with portage [Fri Jun 10 09:44:59 MSK 2016].	9 years ago
ggnfs	…
gimps	Sync with portage [Sun Jun 26 18:43:23 MSK 2016].	9 years ago
ginac	Sync with portage [Wed Jul 6 19:18:04 MSK 2016].	8 years ago
glpk	…
gmm	…
gmp-ecm	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
gretl	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
gsl-shell	Sync with portage [Thu Sep 8 08:51:45 MSK 2016].	8 years ago
gwnum	…
isabelle	…
jags	…
kodkod	…
kodkodi	…
lpsolve	Sync with portage [Wed Jul 27 17:10:12 MSK 2016].	8 years ago
lybniz	…
mathmod	…
mathomatic	…
maxima	Sync with portage [Mon Jun 6 21:58:53 MSK 2016].	9 years ago
minisat	Sync with portage [Tue Sep 13 14:32:57 MSK 2016].	8 years ago
mlpy	Sync with portage [Sun Aug 7 09:39:52 MSK 2016].	8 years ago
msieve	Sync with portage [Wed Jul 27 17:10:12 MSK 2016].	8 years ago
nauty	…
nestedsums	…
normaliz	Sync with portage [Sun Jun 26 18:43:23 MSK 2016].	9 years ago
num-utils	…
nusmv	…
octave	Sync with portage [Mon Sep 12 09:18:57 MSK 2016].	8 years ago
octave-epstk	…
otter	…
p9m4	…
pari	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
pari-data	…
polymake	Sync with portage [Mon May 16 00:45:08 MSK 2016].	9 years ago
prng	…
prover9	…
pspp	Sync with portage [Sun Jul 24 22:46:35 MSK 2016].	8 years ago
pymc	…
qtoctave	…
reduce	…
relational	Sync with portage [Tue May 31 08:58:56 MSK 2016].	9 years ago
rkward	Sync with portage [Fri Sep 16 13:07:19 MSK 2016].	8 years ago
rngstreams	…
rstudio	Sync with portage [Thu Jul 21 01:21:50 MSK 2016].	8 years ago
rw	Sync with portage [Sun Jun 5 20:29:46 MSK 2016].	9 years ago
sha1-polyml	…
singular	…
snns	Sync with portage [Wed Jul 27 17:10:12 MSK 2016].	8 years ago
spass	…
spin	…
topcom	…
twelf	…
unuran	…
wxmaxima	Sync with portage [Tue Aug 2 13:42:11 MSK 2016].	8 years ago
xmds	…
yacas	…
yafu	Sync with portage [Wed Jul 27 17:10:12 MSK 2016].	8 years ago
metadata.xml	…