Index of /ubuntu-ports/pool/universe/e/eprover
Name
Last modified
Size
Parent Directory
-
eprover_2.6+ds-3.debian.tar.xz
2022-07-14 12:23
10K
eprover_2.6+ds-3.dsc
2022-07-14 12:23
1.9K
eprover_2.6+ds-3_arm64.deb
2022-07-14 12:43
1.0M
eprover_2.6+ds-3_armhf.deb
2022-07-14 12:43
799K
eprover_2.6+ds-3_ppc64el.deb
2022-07-14 12:23
1.1M
eprover_2.6+ds-3_riscv64.deb
2022-07-14 13:23
864K
eprover_2.6+ds-3_s390x.deb
2022-07-14 17:09
1.0M
eprover_2.6+ds.orig.tar.xz
2022-07-12 06:34
1.0M
eprover_3.0.03+ds-1.debian.tar.xz
2023-12-13 06:28
4.8K
eprover_3.0.03+ds-1.dsc
2023-12-13 06:28
1.9K
eprover_3.0.03+ds-1_arm64.deb
2023-12-13 06:28
1.4M
eprover_3.0.03+ds-1_armhf.deb
2023-12-13 07:17
1.2M
eprover_3.0.03+ds-1_ppc64el.deb
2023-12-13 06:28
1.5M
eprover_3.0.03+ds-1_riscv64.deb
2023-12-23 19:47
2.5M
eprover_3.0.03+ds-1_s390x.deb
2023-12-13 06:28
1.5M
eprover_3.0.03+ds.orig.tar.xz
2023-12-13 06:28
1.0M
eprover_3.1.0+ds-1.debian.tar.xz
2024-05-03 08:54
4.3K
eprover_3.1.0+ds-1.dsc
2024-05-03 08:54
1.9K
eprover_3.1.0+ds-1_arm64.deb
2024-05-03 14:11
1.1M
eprover_3.1.0+ds-1_armhf.deb
2024-05-09 18:31
844K
eprover_3.1.0+ds-1_ppc64el.deb
2024-05-03 10:32
1.1M
eprover_3.1.0+ds-1_riscv64.deb
2024-05-06 15:28
1.1M
eprover_3.1.0+ds-1_s390x.deb
2024-05-03 10:32
1.1M
eprover_3.1.0+ds.orig.tar.xz
2024-05-03 08:54
1.0M
Apache/2.4.41 (Ubuntu) Server at mirror.clearsky.vn Port 80