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_2.6+ds-3.debian.tar.xz 14-Jul-2022 05:23 10228 eprover_2.6+ds-3.dsc 14-Jul-2022 05:23 1916 eprover_2.6+ds-3_arm64.deb 14-Jul-2022 05:43 1060756 eprover_2.6+ds-3_armhf.deb 14-Jul-2022 05:43 818654 eprover_2.6+ds.orig.tar.xz 11-Jul-2022 23:34 1080164 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.0+ds-1.debian.tar.xz 17-Jun-2024 12:03 4424 eprover_3.2.0+ds-1.dsc 17-Jun-2024 12:03 1927 eprover_3.2.0+ds-1_arm64.deb 17-Jun-2024 12:04 1106330 eprover_3.2.0+ds-1_armhf.deb 17-Jun-2024 12:04 865596 eprover_3.2.0+ds.orig.tar.xz 17-Jun-2024 12:03 1034320 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.orig.tar.xz 31-Oct-2024 17:14 1035484
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.