This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ kissat_4.0.2-1.debian.tar.xz 29-Jan-2025 00:33 4540 kissat_4.0.2-1.dsc 29-Jan-2025 00:33 1971 kissat_4.0.2-1_arm64.deb 29-Jan-2025 00:35 356K kissat_4.0.2.orig.tar.gz 29-Jan-2025 00:33 519K kissat_4.0.3-2.debian.tar.xz 27-Oct-2025 23:51 4656 kissat_4.0.3-2.dsc 27-Oct-2025 23:51 1982 kissat_4.0.3-2_amd64.deb 28-Oct-2025 00:11 394K kissat_4.0.3-2_amd64v3.deb 28-Oct-2025 00:24 397K kissat_4.0.3-2_arm64.deb 28-Oct-2025 06:31 374K kissat_4.0.3.orig.tar.gz 27-Oct-2025 23:51 519K kissat_4.0.4-1.debian.tar.xz 21-May-2026 17:42 4776 kissat_4.0.4-1.dsc 21-May-2026 17:42 2007 kissat_4.0.4-1_amd64.deb 21-May-2026 18:25 394K kissat_4.0.4-1_amd64v3.deb 21-May-2026 18:26 398K kissat_4.0.4-1_arm64.deb 21-May-2026 18:26 375K kissat_4.0.4.orig.tar.gz 21-May-2026 17:42 520K