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 !
../ coq-interval_4.11.0-1.debian.tar.xz 08-Jun-2024 08:32 9236 coq-interval_4.11.0-1.dsc 08-Jun-2024 08:32 2194 coq-interval_4.11.0.orig.tar.bz2 08-Jun-2024 08:32 295K coq-interval_4.9.0-1.debian.tar.xz 22-Dec-2023 11:07 9192 coq-interval_4.9.0-1.dsc 22-Dec-2023 11:07 2187 coq-interval_4.9.0.orig.tar.bz2 22-Dec-2023 11:07 275K libcoq-interval_4.11.0-1+b1_amd64.deb 15-Jun-2024 13:47 6M libcoq-interval_4.11.0-1+b1_arm64.deb 15-Jun-2024 16:13 6M libcoq-interval_4.11.0-1+b1_armhf.deb 15-Jun-2024 14:07 6M libcoq-interval_4.11.0-1+b1_i386.deb 15-Jun-2024 13:42 6M libcoq-interval_4.11.0-1+b2_amd64.deb 25-Jun-2024 09:58 6M libcoq-interval_4.11.0-1+b2_arm64.deb 25-Jun-2024 09:58 6M libcoq-interval_4.11.0-1+b2_armhf.deb 25-Jun-2024 10:03 6M libcoq-interval_4.11.0-1+b2_i386.deb 25-Jun-2024 09:58 6M libcoq-interval_4.9.0-1+b2_amd64.deb 16-Feb-2024 15:40 6M libcoq-interval_4.9.0-1+b2_arm64.deb 16-Feb-2024 18:17 6M libcoq-interval_4.9.0-1+b2_armhf.deb 16-Feb-2024 15:15 6M libcoq-interval_4.9.0-1+b2_i386.deb 16-Feb-2024 15:40 6M