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-finmap_1.5.2-1+b4_armhf.deb 22-May-2023 04:08 691K libcoq-mathcomp-finmap_2.0.0-2+b1_armhf.deb 01-Mar-2024 22:08 625K mathcomp-finmap_1.5.2-1.debian.tar.xz 15-Aug-2022 12:06 8684 mathcomp-finmap_1.5.2-1.dsc 15-Aug-2022 12:06 2126 mathcomp-finmap_1.5.2.orig.tar.gz 15-Aug-2022 12:06 63K mathcomp-finmap_2.0.0-2.debian.tar.xz 21-Jan-2024 08:39 8864 mathcomp-finmap_2.0.0-2.dsc 21-Jan-2024 08:39 2126 mathcomp-finmap_2.0.0.orig.tar.gz 22-Dec-2023 11:07 56K