| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 eprover_3.2.5+ds-1.debian.tar.xz | 4448 bytes | 2024-10-18 21:19:10 |
| 📄 eprover_3.2.5+ds-1.dsc | 1927 bytes | 2024-10-18 21:19:10 |
| 📄 eprover_3.2.5+ds-1_amd64.deb | 1046040 bytes | 2024-10-18 21:47:04 |
| 📄 eprover_3.2.5+ds-1_arm64.deb | 925852 bytes | 2024-10-18 21:47:21 |
| 📄 eprover_3.2.5+ds-1_armhf.deb | 729896 bytes | 2024-10-18 21:47:04 |
| 📄 eprover_3.2.5+ds-1_riscv64.deb | 995504 bytes | 2024-10-19 01:55:36 |
| 📄 eprover_3.2.5+ds.orig.tar.xz | 1035484 bytes | 2024-10-18 21:19:10 |