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.6-2.debian.tar.xz 13-Aug-2018 20:01 8232 cvc4_1.6-2.dsc 13-Aug-2018 20:01 2652 cvc4_1.6.orig.tar.gz 07-Aug-2018 19:44 7M cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16K cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275 cvc4_1.8-2_armhf.deb 29-Sep-2020 22:08 73K 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-3_armhf.deb 01-Nov-2022 16:08 72K cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7M libcvc4-7_1.8-2_armhf.deb 29-Sep-2020 22:08 5M libcvc4-7_1.8-3_armhf.deb 01-Nov-2022 16:08 5M libcvc4-dev_1.8-2_armhf.deb 29-Sep-2020 22:08 128K libcvc4-dev_1.8-3_armhf.deb 01-Nov-2022 16:08 128K libcvc4parser7_1.8-2_armhf.deb 29-Sep-2020 22:08 317K libcvc4parser7_1.8-3_armhf.deb 01-Nov-2022 16:08 310K