| name | size | date |
|---|---|---|
| eprover_3.2.5+ds-1_loong64.deb | 0.96M | 2025-12-21 11:41:51 |
| eprover_3.2.5+ds-1_riscv64.deb | 0.95M | 2024-10-19 01:55:36 |
| eprover_3.2.5+ds-1_ppc64el.deb | 0.99M | 2024-10-18 21:47:22 |
| eprover_3.2.5+ds-1_s390x.deb | 0.90M | 2024-10-18 21:47:22 |
| eprover_3.2.5+ds-1_arm64.deb | 0.88M | 2024-10-18 21:47:21 |
| eprover_3.2.5+ds-1_i386.deb | 1.00M | 2024-10-18 21:47:21 |
| eprover_3.2.5+ds-1_armel.deb | 0.68M | 2024-10-18 21:47:05 |
| eprover_3.2.5+ds-1_amd64.deb | 1.00M | 2024-10-18 21:47:04 |
| eprover_3.2.5+ds-1_armhf.deb | 0.70M | 2024-10-18 21:47:04 |
| eprover_3.2.5+ds-1.debian.tar.xz | 4.3K | 2024-10-18 21:19:10 |
| eprover_3.2.5+ds-1.dsc | 1.9K | 2024-10-18 21:19:10 |
| eprover_3.2.5+ds.orig.tar.xz | 0.99M | 2024-10-18 21:19:10 |
| eprover_2.6+ds-3_mipsel.deb | 0.97M | 2022-07-13 23:25:09 |
| eprover_2.6+ds-3_mips64el.deb | 0.96M | 2022-07-13 23:25:08 |
| eprover_2.6+ds-3_s390x.deb | 0.87M | 2022-07-13 23:15:05 |
| eprover_2.6+ds-3_ppc64el.deb | 0.97M | 2022-07-13 22:59:55 |
| eprover_2.6+ds-3_armhf.deb | 0.67M | 2022-07-13 22:59:54 |
| eprover_2.6+ds-3_armel.deb | 0.70M | 2022-07-13 22:59:53 |
| eprover_2.6+ds-3_i386.deb | 0.94M | 2022-07-13 22:44:34 |
| eprover_2.6+ds-3_arm64.deb | 0.86M | 2022-07-13 22:43:58 |
| eprover_2.6+ds-3_amd64.deb | 0.93M | 2022-07-13 22:28:49 |
| eprover_2.6+ds-3.debian.tar.xz | 10.0K | 2022-07-13 22:03:04 |
| eprover_2.6+ds-3.dsc | 1.9K | 2022-07-13 22:03:04 |
| eprover_2.6+ds.orig.tar.xz | 1.03M | 2022-07-10 21:22:24 |