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 !
../ cvc4_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 80K cvc4_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 75K cvc4_1.8-3+b3_armel.deb 28-Mar-2024 21:13 74K cvc4_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 75K cvc4_1.8-3+b3_i386.deb 24-Mar-2024 10:18 82K cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16K cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7M libcvc4-7_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 6M libcvc4-7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 5M libcvc4-7_1.8-3+b3_armel.deb 28-Mar-2024 21:13 5M libcvc4-7_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 5M libcvc4-7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 6M libcvc4-dev_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 128K libcvc4-dev_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 128K libcvc4-dev_1.8-3+b3_armel.deb 28-Mar-2024 21:13 128K libcvc4-dev_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 128K libcvc4-dev_1.8-3+b3_i386.deb 24-Mar-2024 10:18 128K libcvc4parser7_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 357K libcvc4parser7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 314K libcvc4parser7_1.8-3+b3_armel.deb 28-Mar-2024 21:13 313K libcvc4parser7_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 322K libcvc4parser7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 385K