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.1.0+ds-1.debian.tar.xz 02-May-2024 14:09 4380 eprover_3.1.0+ds-1.dsc 02-May-2024 14:09 1927 eprover_3.1.0+ds-1_amd64.deb 02-May-2024 15:10 1003K eprover_3.1.0+ds-1_arm64.deb 02-May-2024 15:09 892K eprover_3.1.0+ds-1_armel.deb 02-May-2024 15:09 689K eprover_3.1.0+ds-1_armhf.deb 02-May-2024 15:10 703K eprover_3.1.0+ds-1_i386.deb 02-May-2024 14:59 1008K eprover_3.1.0+ds.orig.tar.xz 02-May-2024 14:09 1010K 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