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 !
../ cadical_1.7.4-1.debian.tar.xz 11-Feb-2024 04:22 3960 cadical_1.7.4-1.dsc 11-Feb-2024 04:22 1996 cadical_1.7.4-1_amd64.deb 11-Feb-2024 04:47 378K cadical_1.7.4-1_arm64.deb 11-Feb-2024 04:47 331K cadical_1.7.4-1_armel.deb 11-Feb-2024 04:52 329K cadical_1.7.4-1_armhf.deb 11-Feb-2024 04:47 334K cadical_1.7.4-1_i386.deb 11-Feb-2024 04:47 412K cadical_1.7.4.orig.tar.gz 11-Feb-2024 04:22 633K libcadical-dev_1.7.4-1_amd64.deb 11-Feb-2024 04:47 341K libcadical-dev_1.7.4-1_arm64.deb 11-Feb-2024 04:47 320K libcadical-dev_1.7.4-1_armel.deb 11-Feb-2024 04:52 329K libcadical-dev_1.7.4-1_armhf.deb 11-Feb-2024 04:47 334K libcadical-dev_1.7.4-1_i386.deb 11-Feb-2024 04:47 384K