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 c6aa453fcc Sync with portage [Wed Sep 28 09:08:18 MSK 2022].		2 years ago
..
4ti2	…
alectryon	Sync with portage [Thu Jun 16 21:39:27 MSK 2022].	2 years ago
alt-ergo	Sync with portage [Mon Sep 26 08:00:02 MSK 2022].	2 years ago
arb	Sync with portage [Tue Jul 5 20:58:01 MSK 2022].	2 years ago
bertini	…
cadabra	Sync with portage [Thu Jul 14 20:36:29 MSK 2022].	2 years ago
cadical	Sync with portage [Wed Sep 14 23:50:53 MSK 2022].	2 years ago
calc	Sync with portage [Thu Sep 1 10:15:47 MSK 2022].	2 years ago
cgal	Sync with portage [Sun Sep 4 20:37:34 MSK 2022].	2 years ago
cliquer	…
coq	Sync with portage [Tue Sep 6 22:47:48 MSK 2022].	2 years ago
coq-mathcomp	Sync with portage [Fri Sep 9 18:52:41 MSK 2022].	2 years ago
coq-serapi	…
cryptominisat	…
cvc4	Sync with portage [Mon Aug 29 00:21:42 MSK 2022].	2 years ago
dataplot	…
diagrtb	…
dsfmt	…
dunshire	…
easycrypt	…
eclib	Sync with portage [Mon Aug 15 12:58:02 MSK 2022].	2 years ago
ent	…
euler	…
fann	…
flint	Sync with portage [Tue Jul 5 20:58:01 MSK 2022].	2 years ago
flintqs	…
form	…
fricas	Sync with portage [Thu Jun 23 10:35:19 MSK 2022].	2 years ago
frobby	…
genius	Sync with portage [Tue Aug 30 21:43:22 MSK 2022].	2 years ago
geogebra-bin	…
geomview	…
gfan	…
giac	Sync with portage [Tue Sep 6 22:47:48 MSK 2022].	2 years ago
gimps	Sync with portage [Fri Sep 9 18:52:41 MSK 2022].	2 years ago
ginac	…
glpk	…
gmm	Sync with portage [Fri Sep 16 23:59:06 MSK 2022].	2 years ago
gmp-ecm	…
gp2c	…
gretl	…
gsl-shell	Sync with portage [Tue Aug 30 21:43:22 MSK 2022].	2 years ago
jags	Sync with portage [Thu Sep 1 10:15:47 MSK 2022].	2 years ago
lcalc	Sync with portage [Sun Jul 17 22:39:45 MSK 2022].	2 years ago
lean	Sync with portage [Tue Aug 30 21:43:22 MSK 2022].	2 years ago
lpsolve	Sync with portage [Fri Aug 12 19:56:17 MSK 2022].	2 years ago
lrcalc	…
mathematica	Sync with portage [Wed Aug 10 10:26:37 MSK 2022].	2 years ago
mathlib-tools	Sync with portage [Fri Aug 26 10:10:58 MSK 2022].	2 years ago
mathmod	…
mathomatic	Sync with portage [Fri Jul 8 09:43:11 MSK 2022].	2 years ago
maxima	Sync with portage [Wed Sep 21 20:14:44 MSK 2022].	2 years ago
metamath	…
metamath-databases	…
minisat	…
msieve	…
nauty	Sync with portage [Thu Aug 11 16:27:17 MSK 2022].	2 years ago
nestedsums	…
normaliz	Sync with portage [Wed Aug 17 09:15:34 MSK 2022].	2 years ago
num-utils	Sync with portage [Sun Jun 19 15:48:40 MSK 2022].	2 years ago
octave	Sync with portage [Wed Sep 14 23:50:53 MSK 2022].	2 years ago
octave-epstk	…
otter	…
pari	Sync with portage [Wed Sep 21 20:14:44 MSK 2022].	2 years ago
pari-data	…
petsc	Sync with portage [Mon Aug 29 00:21:42 MSK 2022].	2 years ago
planarity	Sync with portage [Thu Aug 11 16:27:17 MSK 2022].	2 years ago
polymake	Sync with portage [Wed Sep 14 23:50:53 MSK 2022].	2 years ago
primecount	Sync with portage [Wed Aug 24 16:37:31 MSK 2022].	2 years ago
primesieve	Sync with portage [Wed Aug 24 16:37:31 MSK 2022].	2 years ago
prng	…
prover9	…
psmt2-frontend	…
pspp	Sync with portage [Tue Jul 5 20:58:01 MSK 2022].	2 years ago
relational	…
rkward	…
rngstreams	…
rw	…
sha1-polyml	Sync with portage [Thu Sep 1 10:15:47 MSK 2022].	2 years ago
singular	Sync with portage [Wed Jul 20 16:03:54 MSK 2022].	2 years ago
slepc	…
smtinterpol	…
spin	…
stp	Sync with portage [Wed Aug 10 10:26:37 MSK 2022].	2 years ago
sympow	…
topcom	…
twelf	…
unuran	…
vampire	Sync with portage [Mon Sep 26 08:00:02 MSK 2022].	2 years ago
verit	…
why3	Sync with portage [Wed Sep 21 20:14:44 MSK 2022].	2 years ago
why3-for-spark	Sync with portage [Thu Jul 28 12:02:12 MSK 2022].	2 years ago
wxmaxima	Sync with portage [Wed Sep 28 09:08:18 MSK 2022].	2 years ago
yacas	…
yafu	…
z3	Sync with portage [Mon Sep 26 08:00:02 MSK 2022].	2 years ago
Manifest.gz	Sync with portage [Wed Sep 28 09:08:18 MSK 2022].	2 years ago
metadata.xml	…