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 6e0b5545d1 Sync with portage [Tue Oct 3 01:01:41 MSK 2023].		1 year ago
..
4ti2	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
abc	…
acl2	…
alectryon	…
alt-ergo	Sync with portage [Tue Oct 3 01:01:41 MSK 2023].	1 year ago
arb	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
bertini	…
boolector	…
btor2tools	…
cadabra	Sync with portage [Mon Sep 11 00:12:16 MSK 2023].	1 year ago
cadical	…
calc	…
cgal	Sync with portage [Tue Jun 20 16:57:00 MSK 2023].	1 year ago
cliquer	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
coq	Sync with portage [Mon Sep 11 00:12:16 MSK 2023].	1 year ago
coq-mathcomp	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
coq-serapi	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
cryptominisat	Sync with portage [Tue Sep 26 01:12:44 MSK 2023].	1 year ago
cubicle	…
cudd	…
cvc4	…
dataplot	…
diagrtb	…
dsfmt	…
dunshire	…
easycrypt	Sync with portage [Sun Oct 1 11:44:20 MSK 2023].	1 year ago
eclib	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
ent	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
eprover	…
euler	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
fann	…
flint	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
flocq	…
form	…
fricas	Sync with portage [Sat Sep 16 09:31:04 MSK 2023].	1 year ago
frobby	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
gappa	…
gappalib-coq	…
genius	…
geogebra-bin	…
geomview	…
gfan	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
giac	Sync with portage [Sat Jul 8 00:39:42 MSK 2023].	1 year ago
gimps	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
ginac	Sync with portage [Wed Aug 30 09:12:25 MSK 2023].	1 year ago
glpk	…
gmm	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
gmp-ecm	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
gp2c	…
gretl	…
gsl-shell	…
jags	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
kind2	…
kissat	Sync with portage [Tue Aug 15 21:55:56 MSK 2023].	1 year ago
lcalc	…
lean	Sync with portage [Tue Aug 15 21:55:56 MSK 2023].	1 year ago
libpoly	…
lpsolve	…
lrcalc	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
mathematica	Sync with portage [Fri Sep 29 22:40:13 MSK 2023].	1 year ago
mathlib-tools	…
mathmod	…
mathomatic	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
maxima	Sync with portage [Sat Sep 16 09:31:04 MSK 2023].	1 year ago
metamath	…
metamath-databases	…
minisat	…
msieve	…
nauty	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
nestedsums	…
normaliz	Sync with portage [Thu Aug 24 16:25:28 MSK 2023].	1 year ago
num-utils	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
octave	Sync with portage [Thu Aug 24 16:25:28 MSK 2023].	1 year ago
octave-epstk	…
opensmt	Sync with portage [Wed Aug 23 13:34:54 MSK 2023].	1 year ago
otter	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
pari	Sync with portage [Wed Aug 2 18:05:51 MSK 2023].	1 year ago
pari-data	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
petsc	Sync with portage [Mon Aug 7 09:17:56 MSK 2023].	1 year ago
picosat	…
planarity	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
plfit	…
primecount	…
primesieve	…
prng	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
prover9	…
proverif	Sync with portage [Mon Aug 14 14:42:26 MSK 2023].	1 year ago
psmt2-frontend	…
pspp	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
rkward	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
rngstreams	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
rw	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
sha1-polyml	…
singular	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
slepc	Sync with portage [Tue Jun 20 16:57:00 MSK 2023].	1 year ago
smtinterpol	…
spin	…
stp	…
sympow	…
topcom	…
twelf	…
unuran	Sync with portage [Tue Jun 13 12:22:22 MSK 2023].	1 year ago
vampire	Sync with portage [Wed Aug 23 13:34:54 MSK 2023].	1 year ago
verifpal	Sync with portage [Mon Aug 14 14:42:26 MSK 2023].	1 year ago
verit	…
why3	Sync with portage [Mon Jul 17 08:40:34 MSK 2023].	1 year ago
why3-for-spark	…
wxmaxima	Sync with portage [Wed Aug 30 09:12:25 MSK 2023].	1 year ago
yacas	Sync with portage [Sat Aug 19 12:19:30 MSK 2023].	1 year ago
yafu	…
yices2	…
z3	…
Manifest.gz	Sync with portage [Tue Oct 3 01:01:41 MSK 2023].	1 year ago
metadata.xml	…