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.

Index of /ubuntu-ports/pool/universe/e/eprover/

../
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

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.