Welcome to Smoltelecom mirror (mirror.kraski.tv), Contacts: master.nosferatu [at] gmail.com hosted at Smoltelecom, Russian Federation. Intel(R) Xeon(R) E5420, Mem. 8G, Disks 20T. Bandwidth: 10000Mbps. We support http(s) and rsync protocols.
| Name | Last Modified | Size |
|---|---|---|
| Parent Directory/ | - | |
| 4ti2/ | 27-Jul-2025 01:41:30 | - |
| abc/ | 27-Jul-2025 01:41:30 | - |
| acl2/ | 27-Jul-2025 01:41:30 | - |
| alectryon/ | 27-Jul-2025 01:41:30 | - |
| alt-ergo/ | 27-Jul-2025 01:41:30 | - |
| arb/ | 27-Jul-2025 01:41:30 | - |
| bertini/ | 27-Jul-2025 01:41:30 | - |
| btor2tools/ | 27-Jul-2025 01:41:30 | - |
| cadabra/ | 27-Jul-2025 01:41:30 | - |
| cadical/ | 27-Jul-2025 01:41:30 | - |
| calc/ | 27-Jul-2025 01:41:30 | - |
| cgal/ | 27-Jul-2025 01:41:30 | - |
| clipper2/ | 27-Jul-2025 01:41:30 | - |
| cliquer/ | 27-Jul-2025 01:41:30 | - |
| coq/ | 27-Jul-2025 01:41:30 | - |
| coq-mathcomp/ | 27-Jul-2025 01:41:30 | - |
| coq-serapi/ | 27-Jul-2025 01:41:30 | - |
| coq-stdlib/ | 27-Jul-2025 01:41:30 | - |
| cryptominisat/ | 27-Jul-2025 01:41:30 | - |
| cubicle/ | 27-Jul-2025 01:41:30 | - |
| cudd/ | 27-Jul-2025 01:41:30 | - |
| cvc4/ | 27-Jul-2025 01:41:30 | - |
| dataplot/ | 27-Jul-2025 01:41:30 | - |
| diagrtb/ | 27-Jul-2025 01:41:30 | - |
| dsfmt/ | 27-Jul-2025 01:41:30 | - |
| dunshire/ | 27-Jul-2025 01:41:30 | - |
| easycrypt/ | 27-Jul-2025 01:41:30 | - |
| eclib/ | 27-Jul-2025 01:41:30 | - |
| ent/ | 27-Jul-2025 01:41:30 | - |
| eprover/ | 27-Jul-2025 01:41:30 | - |
| euler/ | 27-Jul-2025 01:41:30 | - |
| fann/ | 27-Jul-2025 01:41:30 | - |
| flint/ | 27-Jul-2025 01:41:30 | - |
| flocq/ | 27-Jul-2025 01:41:30 | - |
| form/ | 27-Jul-2025 01:41:30 | - |
| fricas/ | 27-Jul-2025 01:41:30 | - |
| frobby/ | 27-Jul-2025 01:41:30 | - |
| functions-matlab-colormaps/ | 27-Jul-2025 01:41:30 | - |
| gap/ | 27-Jul-2025 01:41:30 | - |
| gappa/ | 27-Jul-2025 01:41:30 | - |
| gappalib-coq/ | 27-Jul-2025 01:41:30 | - |
| genius/ | 27-Jul-2025 01:41:30 | - |
| geogebra-bin/ | 27-Jul-2025 01:41:30 | - |
| geomview/ | 27-Jul-2025 01:41:30 | - |
| gfan/ | 27-Jul-2025 01:41:30 | - |
| giac/ | 27-Jul-2025 01:41:30 | - |
| gimps/ | 27-Jul-2025 01:41:30 | - |
| ginac/ | 27-Jul-2025 01:41:30 | - |
| glpk/ | 27-Jul-2025 01:41:30 | - |
| gmm/ | 27-Jul-2025 01:41:30 | - |
| gmp-ecm/ | 27-Jul-2025 01:41:30 | - |
| gp2c/ | 27-Jul-2025 01:41:30 | - |
| gretl/ | 27-Jul-2025 01:41:30 | - |
| gsl-shell/ | 27-Jul-2025 01:41:30 | - |
| jags/ | 27-Jul-2025 01:41:30 | - |
| kind2/ | 27-Jul-2025 01:41:30 | - |
| kissat/ | 27-Jul-2025 01:41:30 | - |
| lcalc/ | 27-Jul-2025 01:41:30 | - |
| lean/ | 27-Jul-2025 01:41:30 | - |
| libpoly/ | 27-Jul-2025 01:41:30 | - |
| lpsolve/ | 27-Jul-2025 01:41:30 | - |
| lrcalc/ | 27-Jul-2025 01:41:30 | - |
| manifold/ | 27-Jul-2025 01:41:30 | - |
| mathematica/ | 27-Jul-2025 01:41:30 | - |
| mathmod/ | 27-Jul-2025 01:41:30 | - |
| mathomatic/ | 27-Jul-2025 01:41:30 | - |
| maxima/ | 27-Jul-2025 01:41:30 | - |
| metamath/ | 27-Jul-2025 01:41:30 | - |
| metamath-databases/ | 27-Jul-2025 01:41:30 | - |
| minisat/ | 27-Jul-2025 01:41:30 | - |
| msieve/ | 27-Jul-2025 01:41:30 | - |
| nauty/ | 27-Jul-2025 01:41:30 | - |
| nestedsums/ | 27-Jul-2025 01:41:30 | - |
| normaliz/ | 27-Jul-2025 01:41:30 | - |
| num-utils/ | 27-Jul-2025 01:41:30 | - |
| octave/ | 27-Jul-2025 01:41:30 | - |
| octave-epstk/ | 27-Jul-2025 01:41:30 | - |
| opensmt/ | 27-Jul-2025 01:41:30 | - |
| otter/ | 27-Jul-2025 01:41:30 | - |
| palp/ | 27-Jul-2025 01:41:30 | - |
| pari/ | 27-Jul-2025 01:41:30 | - |
| pari-data/ | 27-Jul-2025 01:41:30 | - |
| petsc/ | 27-Jul-2025 01:41:30 | - |
| picosat/ | 27-Jul-2025 01:41:30 | - |
| planarity/ | 27-Jul-2025 01:41:30 | - |
| plfit/ | 27-Jul-2025 01:41:30 | - |
| polymake/ | 27-Jul-2025 01:41:30 | - |
| primecount/ | 27-Jul-2025 01:41:30 | - |
| primesieve/ | 27-Jul-2025 01:41:30 | - |
| prng/ | 27-Jul-2025 01:41:30 | - |
| prover9/ | 27-Jul-2025 01:41:30 | - |
| proverif/ | 27-Jul-2025 01:41:30 | - |
| psmt2-frontend/ | 27-Jul-2025 01:41:30 | - |
| pspp/ | 27-Jul-2025 01:41:30 | - |
| rkward/ | 27-Jul-2025 01:41:30 | - |
| rngstreams/ | 27-Jul-2025 01:41:30 | - |
| rw/ | 27-Jul-2025 01:41:30 | - |
| sha1-polyml/ | 27-Jul-2025 01:41:30 | - |
| singular/ | 27-Jul-2025 01:41:30 | - |
| slepc/ | 27-Jul-2025 01:41:30 | - |
| smtinterpol/ | 27-Jul-2025 01:41:30 | - |
| spin/ | 27-Jul-2025 01:41:30 | - |
| stp/ | 27-Jul-2025 01:41:30 | - |
| sympow/ | 27-Jul-2025 01:41:30 | - |
| topcom/ | 27-Jul-2025 01:41:30 | - |
| twelf/ | 27-Jul-2025 01:41:30 | - |
| unuran/ | 27-Jul-2025 01:41:30 | - |
| vampire/ | 27-Jul-2025 01:41:30 | - |
| verifpal/ | 27-Jul-2025 01:41:30 | - |
| verit/ | 27-Jul-2025 01:41:30 | - |
| why3/ | 27-Jul-2025 01:41:30 | - |
| why3-for-spark/ | 27-Jul-2025 01:41:30 | - |
| wxmaxima/ | 27-Jul-2025 01:41:30 | - |
| yacas/ | 27-Jul-2025 01:41:30 | - |
| yafu/ | 27-Jul-2025 01:41:30 | - |
| yices2/ | 27-Jul-2025 01:41:30 | - |
| z3/ | 27-Jul-2025 01:41:30 | - |
| Manifest.gz | 24-Jul-2025 01:11:21 | 19.2K |
| metadata.xml | 11-Sep-2021 16:40:17 | 1.3K |
Sync information: -------------------------------------------------------------------------------- Last sync for main : 2025-07-27 02:23:07 MSK [ftp.snt.utwente.nl] Last sync for portage : 2025-07-27 02:28:25 MSK [ftp.snt.utwente.nl] General information: -------------------------------------------------------------------------------- This is not full repositories mirror! Only amd64 target is synchronized.