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