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 !
../ libcoq-mathcomp-algebra_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 10M libcoq-mathcomp-algebra_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 10M libcoq-mathcomp-algebra_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:44 9M libcoq-mathcomp-algebra_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 9M libcoq-mathcomp-character_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 4M libcoq-mathcomp-character_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 4M libcoq-mathcomp-character_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:44 4M libcoq-mathcomp-character_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 4M libcoq-mathcomp-field_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 3M libcoq-mathcomp-field_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 3M libcoq-mathcomp-field_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:44 3M libcoq-mathcomp-field_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 3M libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 2M libcoq-mathcomp-fingroup_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 2M libcoq-mathcomp-fingroup_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:44 2M libcoq-mathcomp-fingroup_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 2M libcoq-mathcomp-solvable_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 5M libcoq-mathcomp-solvable_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 5M libcoq-mathcomp-solvable_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:44 5M libcoq-mathcomp-solvable_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 5M libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 6M libcoq-mathcomp-ssreflect_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 6M libcoq-mathcomp-ssreflect_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:45 6M libcoq-mathcomp-ssreflect_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 6M libcoq-mathcomp_2.2.0-2+b7_amd64.deb 13-Oct-2024 11:28 3M libcoq-mathcomp_2.2.0-2+b7_arm64.deb 13-Oct-2024 11:54 3M libcoq-mathcomp_2.2.0-2+b8_arm64.deb 20-Nov-2024 19:45 3M libcoq-mathcomp_2.2.0-2+b9_amd64.deb 20-Nov-2024 17:02 3M ssreflect_2.2.0-2.debian.tar.xz 03-Aug-2024 08:23 12K ssreflect_2.2.0-2.dsc 03-Aug-2024 08:23 2391 ssreflect_2.2.0.orig.tar.gz 26-Apr-2024 14:06 2M