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 !
../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8M cvc5_1.1.2-2.debian.tar.xz 19-Mar-2024 22:22 7396 cvc5_1.1.2-2.dsc 19-Mar-2024 22:22 2470 cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 97K cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8M libcvc5-1_1.1.2-2_armhf.deb 21-May-2024 22:08 5M libcvc5-dev_1.1.2-2_armhf.deb 21-May-2024 22:08 91K libcvc5parser1_1.1.2-2_armhf.deb 21-May-2024 22:08 193K python3-cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 297K