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 !
../ eprover_3.2.0+ds-1.debian.tar.xz 17-Jun-2024 06:10 4424 eprover_3.2.0+ds-1.dsc 17-Jun-2024 06:10 1927 eprover_3.2.0+ds-1_amd64.deb 17-Jun-2024 06:36 1006K eprover_3.2.0+ds-1_arm64.deb 17-Jun-2024 06:41 898K eprover_3.2.0+ds-1_armel.deb 17-Jun-2024 06:41 690K eprover_3.2.0+ds-1_armhf.deb 17-Jun-2024 06:41 705K eprover_3.2.0+ds-1_i386.deb 17-Jun-2024 06:36 1010K eprover_3.2.0+ds.orig.tar.xz 17-Jun-2024 06:10 1010K