The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ eprover_3.0.03+ds-1.debian.tar.xz 12-Dec-2023 23:28 4892 eprover_3.0.03+ds-1.dsc 12-Dec-2023 23:28 1934 eprover_3.0.03+ds-1_arm64.deb 12-Dec-2023 23:28 1479042 eprover_3.0.03+ds-1_armhf.deb 13-Dec-2023 00:17 1287622 eprover_3.0.03+ds.orig.tar.xz 12-Dec-2023 23:28 1031728 eprover_3.2.5+ds-1.debian.tar.xz 31-Oct-2024 17:14 4448 eprover_3.2.5+ds-1.dsc 31-Oct-2024 17:14 1927 eprover_3.2.5+ds-1_arm64.deb 31-Oct-2024 19:20 1111082 eprover_3.2.5+ds-1_armhf.deb 31-Oct-2024 19:22 872404 eprover_3.2.5+ds-1build1.debian.tar.xz 17-Jan-2026 00:11 4516 eprover_3.2.5+ds-1build1.dsc 17-Jan-2026 00:11 1926 eprover_3.2.5+ds-1build1_arm64.deb 17-Jan-2026 00:17 1102182 eprover_3.2.5+ds-1build1_armhf.deb 17-Jan-2026 00:18 868214 eprover_3.2.5+ds.orig.tar.xz 31-Oct-2024 17:14 1035484 eprover_3.5.1+ds-1.debian.tar.xz 03-Aug-2026 23:22 4644 eprover_3.5.1+ds-1.dsc 03-Aug-2026 23:22 1939 eprover_3.5.1+ds-1_arm64.deb 04-Aug-2026 00:07 915476 eprover_3.5.1+ds-1_armhf.deb 04-Aug-2026 00:07 874698 eprover_3.5.1+ds.orig.tar.xz 03-Aug-2026 23:22 1043040
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.