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_2.1.3-2.debian.tar.xz 15-Dec-2025 01:27 4620 cadical_2.1.3-2.dsc 15-Dec-2025 01:27 1996 cadical_2.1.3-2_amd64.deb 15-Dec-2025 10:40 447K cadical_2.1.3-2_arm64.deb 15-Dec-2025 10:40 393K cadical_2.1.3-2_armhf.deb 15-Dec-2025 10:40 386K cadical_2.1.3-2_i386.deb 15-Dec-2025 10:40 475K cadical_2.1.3.orig.tar.gz 01-Dec-2025 23:18 714K libcadical-dev_2.1.3-2_amd64.deb 15-Dec-2025 10:40 415K libcadical-dev_2.1.3-2_arm64.deb 15-Dec-2025 10:40 392K libcadical-dev_2.1.3-2_armhf.deb 15-Dec-2025 10:40 398K libcadical-dev_2.1.3-2_i386.deb 15-Dec-2025 10:40 459K