Index of /ubuntu-ports/pool/universe/e/eprover/
../
eprover_3.0.03+ds-1.debian.tar.xz 13-Dec-2023 06:28 4892
eprover_3.0.03+ds-1.dsc 13-Dec-2023 06:28 1934
eprover_3.0.03+ds-1_arm64.deb 13-Dec-2023 06:28 1M
eprover_3.0.03+ds-1_armhf.deb 13-Dec-2023 07:17 1M
eprover_3.0.03+ds-1_ppc64el.deb 13-Dec-2023 06:28 1M
eprover_3.0.03+ds-1_riscv64.deb 23-Dec-2023 19:47 2M
eprover_3.0.03+ds-1_s390x.deb 13-Dec-2023 06:28 1M
eprover_3.0.03+ds.orig.tar.xz 13-Dec-2023 06:28 1008K
eprover_3.2.5+ds-1.debian.tar.xz 01-Nov-2024 00:14 4448
eprover_3.2.5+ds-1.dsc 01-Nov-2024 00:14 1927
eprover_3.2.5+ds-1_arm64.deb 01-Nov-2024 02:20 1M
eprover_3.2.5+ds-1_armhf.deb 01-Nov-2024 02:22 852K
eprover_3.2.5+ds-1_ppc64el.deb 01-Nov-2024 02:23 1M
eprover_3.2.5+ds-1_riscv64.deb 01-Nov-2024 08:11 1M
eprover_3.2.5+ds-1_s390x.deb 01-Nov-2024 02:26 1M
eprover_3.2.5+ds-1build1.debian.tar.xz 17-Jan-2026 07:11 4516
eprover_3.2.5+ds-1build1.dsc 17-Jan-2026 07:11 1926
eprover_3.2.5+ds-1build1_arm64.deb 17-Jan-2026 07:17 1M
eprover_3.2.5+ds-1build1_armhf.deb 17-Jan-2026 07:18 848K
eprover_3.2.5+ds-1build1_ppc64el.deb 17-Jan-2026 07:19 1M
eprover_3.2.5+ds-1build1_riscv64.deb 17-Jan-2026 09:26 1M
eprover_3.2.5+ds-1build1_s390x.deb 17-Jan-2026 07:21 1M
eprover_3.2.5+ds.orig.tar.xz 01-Nov-2024 00:14 1011K