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-1.6.10 | 14-Jul-2025 22:21:50 | 0.9K |
| 4ti2-1.6.7-r1 | 14-Jul-2025 22:21:50 | 0.8K |
| Manifest.gz | 25-Jul-2025 09:14:12 | 30.1K |
| abc-0_p20230313 | 14-Jul-2025 22:21:50 | 0.6K |
| abc-9999 | 14-Jul-2025 22:21:50 | 0.5K |
| acl2-8.5_p20240307-r1 | 23-Apr-2025 19:27:42 | 0.6K |
| acl2-8.6 | 02-Jul-2025 04:11:47 | 0.6K |
| alectryon-1.4.0-r2 | 25-Jul-2025 09:14:12 | 2.5K |
| alt-ergo-2.4.3-r2 | 14-May-2025 11:41:38 | 1.2K |
| arb-2.23.0 | 14-Jul-2025 22:21:50 | 0.9K |
| bertini-1.4 | 14-Jul-2025 22:21:50 | 0.5K |
| bertini-1.6 | 14-Jul-2025 22:21:50 | 0.6K |
| btor2tools-1.0.0_pre20220518-r1 | 14-Jul-2025 22:21:50 | 0.7K |
| cadabra-2.4.5.4 | 25-Jul-2025 09:14:12 | 2.7K |
| cadabra-2.4.5.6 | 25-Jul-2025 09:14:12 | 2.7K |
| cadabra-2.4.5.7 | 25-Jul-2025 09:14:12 | 2.7K |
| cadical-1.9.5 | 14-Jul-2025 22:21:50 | 0.3K |
| cadical-2.0.0 | 14-Jul-2025 22:21:50 | 0.4K |
| calc-2.13.0.1 | 14-Jul-2025 22:21:50 | 0.5K |
| cgal-5.6 | 14-Jul-2025 22:21:50 | 1.1K |
| cgal-5.6.1 | 14-Jul-2025 22:21:50 | 1.1K |
| cgal-6.0 | 14-Jul-2025 22:21:50 | 1.1K |
| cgal-6.0.1 | 14-Jul-2025 22:21:50 | 1.1K |
| clipper2-1.4.0 | 14-Jul-2025 22:21:50 | 0.7K |
| clipper2-1.5.2 | 14-Jul-2025 22:21:50 | 0.7K |
| clipper2-1.5.3 | 14-Jul-2025 22:21:50 | 0.7K |
| cliquer-1.22 | 23-Nov-2023 01:40:40 | 0.3K |
| coq-8.17.1-r1 | 14-May-2025 11:41:38 | 1.3K |
| coq-8.19.2-r1 | 14-May-2025 11:41:38 | 1.3K |
| coq-8.20.0-r1 | 14-May-2025 11:41:38 | 1.3K |
| coq-9.0.0 | 14-May-2025 11:41:38 | 1.2K |
| coq-mathcomp-1.19.0-r1 | 17-Mar-2025 03:11:20 | 0.5K |
| coq-serapi-0.20.0 | 14-May-2025 11:41:38 | 1.3K |
| coq-stdlib-9.0.0 | 14-May-2025 11:41:38 | 0.6K |
| cryptominisat-5.11.21-r2 | 25-Jul-2025 09:14:12 | 1.8K |
| cubicle-1.2.0-r2 | 14-Jul-2025 22:21:50 | 1.1K |
| cudd-3.0.0 | 19-Dec-2022 01:10:27 | 0.2K |
| cvc4-1.8-r6 | 25-Jul-2025 09:14:12 | 1.1K |
| dataplot-20131220 | 14-Jul-2025 22:21:50 | 1.2K |
| diagrtb-2.64 | 14-Jul-2025 22:21:50 | 0.9K |
| dsfmt-2.2.4 | 14-Jul-2025 22:21:50 | 0.4K |
| dunshire-0.1.3-r2 | 25-Jul-2025 09:14:12 | 2.0K |
| easycrypt-2025.02 | 14-May-2025 11:41:38 | 1.1K |
| easycrypt-2025.03 | 01-Jul-2025 03:41:22 | 1.1K |
| eclib-20250122 | 19-Apr-2025 03:34:06 | 0.6K |
| ent-101202 | 14-Jul-2025 22:21:50 | 0.4K |
| eprover-3.0.03 | 14-Jul-2025 22:21:50 | 0.4K |
| eprover-3.0_pre008 | 14-Jul-2025 22:21:50 | 0.5K |
| euler-1.61.0-r1 | 14-Jul-2025 22:21:50 | 0.7K |
| fann-2.2.0-r2 | 14-Jul-2025 22:21:50 | 0.6K |
| fann-9999 | 14-Jul-2025 22:21:50 | 0.7K |
| flint-3.1.3_p1-r4 | 25-Jul-2025 09:14:12 | 1.0K |
| flocq-4.2.1 | 17-Feb-2025 01:41:04 | 0.5K |
| form-4.3.1 | 14-Jul-2025 22:21:50 | 1.2K |
| form-5.0.0_beta1 | 14-Jul-2025 22:21:50 | 1.3K |
| fricas-1.3.12 | 04-Jun-2025 13:11:16 | 1.4K |
| frobby-0.9.0-r4 | 14-Jul-2025 22:21:50 | 0.5K |
| functions-matlab-colormaps-1.0_p20250328 | 20-Jun-2025 20:06:07 | 0.4K |
| gap-4.14.0 | 28-Apr-2025 17:11:03 | 1.1K |
| gap-4.14.0-r1 | 19-Jul-2025 03:41:04 | 1.1K |
| gappa-1.4.1 | 12-Nov-2024 21:41:25 | 0.6K |
| gappa-1.4.2 | 12-Nov-2024 21:41:25 | 0.6K |
| gappalib-coq-1.5.2-r1 | 08-Oct-2024 18:52:45 | 0.7K |
| gappalib-coq-1.5.3 | 08-Oct-2024 18:52:45 | 0.7K |
| genius-1.0.27 | 14-Jul-2025 22:21:50 | 1.5K |
| geogebra-bin-5.0.752.0 | 08-Oct-2024 18:52:45 | 0.8K |
| geogebra-bin-6.0.804.0 | 08-Oct-2024 18:52:45 | 1.0K |
| geomview-1.9.5-r1 | 14-Jul-2025 22:21:50 | 1.0K |
| gfan-0.6.2-r6 | 14-Jul-2025 22:21:50 | 0.7K |
| gfan-0.6.2-r7 | 14-Jul-2025 22:21:50 | 0.7K |
| giac-1.9.0.995-r2 | 14-Jul-2025 22:21:50 | 1.9K |
| gimps-30.19.14 | 14-Jul-2025 22:21:50 | 0.8K |
| gimps-30.19.20 | 14-Jul-2025 22:21:50 | 0.8K |
| gimps-30.8.15 | 14-Jul-2025 22:21:50 | 0.8K |
| gimps-30.8.17 | 14-Jul-2025 22:21:50 | 0.7K |
| ginac-1.8.9 | 25-Jul-2025 09:14:12 | 0.8K |
| glpk-5.0-r3 | 14-Jul-2025 22:21:50 | 1.2K |
| gmm-5.4 | 14-Jul-2025 22:21:50 | 0.4K |
| gmm-5.4.2 | 26-Oct-2024 01:41:04 | 0.3K |
| gmp-ecm-7.0.6-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| gp2c-0.0.12 | 06-Dec-2021 10:39:52 | 0.3K |
| gretl-2021d | 14-Jul-2025 22:21:50 | 1.8K |
| gsl-shell-2.3.5 | 25-Jul-2025 09:14:12 | 1.5K |
| jags-4.3.1-r1 | 14-Jul-2025 22:21:50 | 0.9K |
| kind2-1.9.0 | 14-May-2025 11:41:38 | 0.8K |
| kissat-3.1.0 | 14-Jul-2025 22:21:50 | 0.4K |
| kissat-3.1.1 | 14-Jul-2025 22:21:50 | 0.4K |
| lcalc-2.0.5-r2 | 27-Aug-2024 04:11:33 | 0.6K |
| lcalc-2.1.1 | 14-Jul-2025 22:21:50 | 0.8K |
| lean-4.14.0-r1 | 25-Jul-2025 09:14:12 | 1.0K |
| libpoly-0.1.11 | 25-Jul-2025 09:14:12 | 1.6K |
| lpsolve-5.5.2.11-r2 | 14-Jul-2025 22:21:50 | 0.5K |
| lrcalc-1.2 | 09-Jun-2023 18:40:46 | 0.3K |
| lrcalc-2.1 | 21-Aug-2024 00:11:22 | 0.3K |
| manifold-3.0.1 | 25-Jul-2025 09:14:12 | 2.3K |
| manifold-3.0.2_pre20250330 | 25-Jul-2025 09:14:12 | 2.3K |
| manifold-3.1.0-r1 | 25-Jul-2025 09:14:12 | 2.3K |
| manifold-9999 | 25-Jul-2025 09:14:12 | 2.3K |
| mathematica-10.3.1-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-10.3.1-r2 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-12.1.0 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-12.1.1-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-12.2.0 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-13.0.0 | 14-Jul-2025 22:21:50 | 0.6K |
| mathematica-13.0.1 | 14-Jul-2025 22:21:50 | 0.9K |
| mathematica-13.1.0 | 14-Jul-2025 22:21:50 | 1.0K |
| mathematica-13.2.1 | 14-Jul-2025 22:21:50 | 1.0K |
| mathematica-13.3.1-r1 | 14-Jul-2025 22:21:50 | 1.4K |
| mathematica-14.0.0-r1 | 14-Jul-2025 22:21:50 | 1.4K |
| mathematica-14.1.0-r1 | 14-Jul-2025 22:21:50 | 1.5K |
| mathmod-12.0 | 14-Jul-2025 22:21:50 | 0.8K |
| mathmod-12.1 | 14-Jul-2025 22:21:50 | 0.8K |
| mathomatic-16.0.5-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| maxima-5.47.0-r1 | 25-Jul-2025 09:14:12 | 2.9K |
| maxima-5.47.0-r2 | 25-Jul-2025 09:14:12 | 3.0K |
| metamath-0.198 | 14-Jul-2025 22:21:50 | 0.7K |
| metamath-databases-20220303 | 04-Mar-2023 19:40:16 | 0.4K |
| minisat-2.2.1-r1 | 14-Jul-2025 22:21:50 | 0.8K |
| msieve-1.53-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| msieve-1.53-r2 | 14-Jul-2025 22:21:50 | 0.6K |
| nauty-2.8.8-r1 | 14-Jul-2025 22:21:50 | 1.0K |
| nestedsums-1.5.2-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| normaliz-3.10.1 | 14-Jul-2025 22:21:50 | 0.9K |
| normaliz-3.10.5 | 14-Jul-2025 22:21:50 | 0.6K |
| normaliz-3.9.3 | 14-Jul-2025 22:21:50 | 0.6K |
| num-utils-0.5-r2 | 09-Jun-2023 18:40:46 | 0.4K |
| octave-9.2.0-r2 | 14-Jul-2025 22:21:50 | 4.1K |
| octave-epstk-2.4 | 22-Nov-2021 06:39:53 | 0.4K |
| opensmt-2.5.2 | 14-Jul-2025 22:21:50 | 1.0K |
| opensmt-2.7.0 | 14-Jul-2025 22:21:50 | 0.9K |
| otter-3.3-r4 | 14-Jul-2025 22:21:50 | 0.5K |
| palp-2.21 | 14-Jul-2025 22:21:50 | 0.5K |
| pari-2.15.5 | 14-Jul-2025 22:21:50 | 1.0K |
| pari-2.17.1 | 14-Jul-2025 22:21:50 | 1.0K |
| pari-data-20191216 | 19-Aug-2024 16:11:05 | 0.7K |
| petsc-3.22.2 | 25-Jul-2025 09:14:12 | 1.9K |
| petsc-3.23.3 | 25-Jul-2025 09:14:12 | 2.0K |
| picosat-965 | 14-Jul-2025 22:21:50 | 0.3K |
| planarity-3.0.2.0 | 21-Aug-2024 00:11:22 | 0.3K |
| planarity-4.0.0.0 | 22-Jun-2025 23:11:03 | 0.3K |
| plfit-0.9.5 | 14-Jul-2025 22:21:50 | 0.7K |
| polymake-4.13 | 14-Jul-2025 22:21:50 | 1.6K |
| polymake-4.14 | 24-Jul-2025 01:11:20 | 1.6K |
| primecount-7.13-r1 | 14-Jul-2025 22:21:50 | 0.8K |
| primesieve-12.3 | 14-Jul-2025 22:21:50 | 0.8K |
| prng-3.0.2-r3 | 14-Jul-2025 22:21:50 | 0.7K |
| prover9-2009.11a-r2 | 14-Jul-2025 22:21:50 | 0.4K |
| proverif-2.04-r1 | 14-May-2025 11:41:38 | 0.7K |
| proverif-2.05 | 14-May-2025 11:41:38 | 0.7K |
| proverif-9999 | 14-May-2025 11:41:38 | 0.7K |
| psmt2-frontend-0.4.0 | 14-May-2025 11:41:38 | 0.8K |
| pspp-1.6.2-r3 | 25-Jul-2025 09:14:12 | 1.5K |
| pspp-2.0.1-r1 | 25-Jul-2025 09:14:12 | 1.5K |
| rkward-0.8.1 | 14-Jul-2025 22:21:50 | 2.8K |
| rngstreams-1.0.1 | 09-Jun-2023 18:40:46 | 0.4K |
| rw-0.9 | 21-Sep-2024 07:11:25 | 0.3K |
| sha1-polyml-5.9 | 14-Jul-2025 22:21:50 | 0.4K |
| singular-4.4.1 | 22-Jun-2025 23:11:03 | 0.9K |
| slepc-3.22.1 | 25-Jul-2025 09:14:12 | 0.9K |
| slepc-3.23.1 | 25-Jul-2025 09:14:12 | 1.0K |
| smtinterpol-2.5_p20211018-r1 | 10-Jul-2025 11:11:33 | 0.7K |
| spin-6.5.2-r1 | 14-Jul-2025 22:21:50 | 0.6K |
| stp-2.3.3-r3 | 25-Jul-2025 09:14:12 | 1.9K |
| stp-2.3.4 | 25-Jul-2025 09:14:12 | 1.8K |
| sympow-2.023.7 | 14-Jul-2025 22:21:50 | 0.4K |
| topcom-0.17.8-r3 | 14-Jul-2025 22:21:50 | 1.0K |
| topcom-1.1.2 | 14-Jul-2025 22:21:50 | 0.9K |
| twelf-1.7.1-r2 | 14-Jul-2025 22:21:50 | 0.7K |
| unuran-1.8.1 | 09-Jun-2023 18:40:46 | 0.6K |
| unuran-1.9.0 | 14-Jul-2025 22:21:50 | 1.0K |
| vampire-4.8 | 14-Jul-2025 22:21:50 | 0.9K |
| vampire-4.9 | 14-Jul-2025 22:21:50 | 0.9K |
| verifpal-0.27.0 | 14-Jul-2025 22:21:50 | 0.7K |
| verit-2021.06.2 | 11-Mar-2022 00:39:55 | 0.3K |
| why3-1.6.0 | 14-Jul-2025 22:21:50 | 1.9K |
| why3-1.7.2 | 14-Jul-2025 22:21:50 | 1.9K |
| why3-1.8.0 | 14-Jul-2025 22:21:50 | 1.9K |
| why3-1.8.1 | 14-Jul-2025 22:21:50 | 1.9K |
| why3-for-spark-2021-r1 | 14-Jul-2025 22:21:50 | 2.0K |
| why3-for-spark-2023.12.13-r2 | 14-Jul-2025 22:21:50 | 2.0K |
| wxmaxima-25.04.0-r2 | 14-Jul-2025 22:21:50 | 1.1K |
| yacas-1.9.1-r2 | 14-Jul-2025 22:21:50 | 1.0K |
| yafu-1.34.3-r2 | 14-Jul-2025 22:21:50 | 0.7K |
| yices2-2.6.4-r1 | 14-Jul-2025 22:21:50 | 0.9K |
| yices2-2.6.5 | 14-Jul-2025 22:21:50 | 0.9K |
| z3-4.15.2 | 25-Jul-2025 09:14:12 | 2.3K |
Sync information: -------------------------------------------------------------------------------- Last sync for main : 2025-07-27 15:25:16 MSK [ftp.snt.utwente.nl] Last sync for portage : 2025-07-27 15:27:07 MSK [ftp.snt.utwente.nl] General information: -------------------------------------------------------------------------------- This is not full repositories mirror! Only amd64 target is synchronized.