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/ | - | |
| files/ | 08-Jun-2025 10:42:25 | - |
| Manifest | 20-Feb-2024 00:10:44 | 1.8K |
| eprover-3.0.03.ebuild | 20-Feb-2024 00:10:44 | 1.6K |
| eprover-3.0_pre008.ebuild | 04-Jan-2023 20:40:36 | 1.4K |
| metadata.xml | 04-Jan-2023 07:10:30 | 1.5K |
Sync information: -------------------------------------------------------------------------------- Last sync for main : 2025-06-08 11:29:38 MSK [ftp.snt.utwente.nl] Last sync for portage : 2025-06-08 11:30:08 MSK [ftp.snt.utwente.nl] General information: -------------------------------------------------------------------------------- This is not full repositories mirror! Only amd64 target is synchronized.