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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
eprover_2.6+ds-3.dsc1.9 KiB2022-Jul-14 14:23
eprover_3.0.03+ds-1.dsc1.9 KiB2023-Dec-13 08:28
eprover_3.0.03+ds-1.debian.tar.xz4.8 KiB2023-Dec-13 08:28
eprover_2.6+ds-3.debian.tar.xz10.0 KiB2022-Jul-14 14:23
eprover_2.6+ds-3_armhf.deb799.5 KiB2022-Jul-14 14:43
eprover_2.6+ds-3_riscv64.deb864.1 KiB2022-Jul-14 15:23
eprover_3.0.03+ds.orig.tar.xz1007.5 KiB2023-Dec-13 08:28
eprover_2.6+ds-3_arm64.deb1.0 MiB2022-Jul-14 14:43
eprover_2.6+ds-3_s390x.deb1.0 MiB2022-Jul-14 19:09
eprover_2.6+ds.orig.tar.xz1.0 MiB2022-Jul-12 08:34
eprover_2.6+ds-3_ppc64el.deb1.1 MiB2022-Jul-14 14:23
eprover_3.0.03+ds-1_armhf.deb1.2 MiB2023-Dec-13 09:17
eprover_3.0.03+ds-1_arm64.deb1.4 MiB2023-Dec-13 08:28
eprover_3.0.03+ds-1_s390x.deb1.5 MiB2023-Dec-13 08:28
eprover_3.0.03+ds-1_ppc64el.deb1.5 MiB2023-Dec-13 08:28
eprover_3.0.03+ds-1_riscv64.deb2.5 MiB2023-Dec-23 21:47