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 !
../ ikos_3.5-2.debian.tar.xz 04-Apr-2025 00:05 7692 ikos_3.5-2.dsc 04-Apr-2025 00:05 2231 ikos_3.5-2_amd64.deb 04-Apr-2025 03:03 10M ikos_3.5-2_arm64.deb 04-Apr-2025 03:14 9M ikos_3.5-2_armel.deb 04-Apr-2025 03:04 8M ikos_3.5-2_armhf.deb 04-Apr-2025 03:19 8M ikos_3.5-2_i386.deb 04-Apr-2025 03:03 11M ikos_3.5-2_mips64el.deb 04-Apr-2025 06:31 9M ikos_3.5-2_ppc64el.deb 04-Apr-2025 03:03 10M ikos_3.5-2_riscv64.deb 04-Apr-2025 04:15 9M ikos_3.5-2_s390x.deb 04-Apr-2025 03:04 11M ikos_3.5.orig.tar.gz 29-Mar-2025 17:43 1M libikos-dev_3.5-2_amd64.deb 04-Apr-2025 03:03 172K libikos-dev_3.5-2_arm64.deb 04-Apr-2025 03:14 172K libikos-dev_3.5-2_armel.deb 04-Apr-2025 03:04 172K libikos-dev_3.5-2_armhf.deb 04-Apr-2025 03:19 172K libikos-dev_3.5-2_i386.deb 04-Apr-2025 03:03 172K libikos-dev_3.5-2_mips64el.deb 04-Apr-2025 06:31 172K libikos-dev_3.5-2_ppc64el.deb 04-Apr-2025 03:03 172K libikos-dev_3.5-2_riscv64.deb 04-Apr-2025 04:15 172K libikos-dev_3.5-2_s390x.deb 04-Apr-2025 03:04 172K libikos_3.5-2_amd64.deb 04-Apr-2025 03:03 263K libikos_3.5-2_arm64.deb 04-Apr-2025 03:14 244K libikos_3.5-2_armel.deb 04-Apr-2025 03:04 250K libikos_3.5-2_armhf.deb 04-Apr-2025 03:19 253K libikos_3.5-2_i386.deb 04-Apr-2025 03:03 291K libikos_3.5-2_mips64el.deb 04-Apr-2025 06:31 275K libikos_3.5-2_ppc64el.deb 04-Apr-2025 03:03 265K libikos_3.5-2_riscv64.deb 04-Apr-2025 04:15 967K libikos_3.5-2_s390x.deb 04-Apr-2025 03:04 254K