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/ | - | |
| why3-for-spark-2020-bibtex.patch | 09-Feb-2021 21:09:17 | 0.2K |
| why3-for-spark-2020-gentoo.patch | 09-Feb-2021 21:09:17 | 0.3K |
| why3-for-spark-2021-flags.patch | 29-Jun-2021 23:09:41 | 1.2K |
| why3-for-spark-2021-make.patch | 03-Apr-2023 09:40:20 | 0.3K |
| why3-for-spark-2021-sighandler.patch | 12-Apr-2025 10:47:36 | 0.4K |
| why3-for-spark-2023.12.13-flags.patch | 08-Feb-2025 00:11:26 | 0.8K |
| why3-for-spark-2023.12.13-spark.patch | 11-Feb-2025 21:13:38 | 0.3K |
Sync information: -------------------------------------------------------------------------------- Last sync for main : 2025-04-20 02:24:14 MSK [ftp.snt.utwente.nl] Last sync for portage : 2025-04-20 02:29:03 MSK [ftp.snt.utwente.nl] General information: -------------------------------------------------------------------------------- This is not full repositories mirror! Only amd64 target is synchronized.