This package may currently be unbuildable on the following architectures:
- arm64
- amd64
Filename | Size | Checksum (SHA256) |
---|---|---|
eprover_3.2.0+ds-1.dsc | 1.9 kB | f5e93964615d12672c23d40049f5052be1a54ce7115e5d39dbae90b4fc3612b6 |
eprover_3.2.0+ds.orig.tar.xz | 1.0 MB | 0651353014007254744f537d690018dc55dfe3474ec7de4fc98a9122f989eff2 |
eprover_3.2.0+ds-1.debian.tar.xz | 4.4 kB | 9569ac361d6fb3ee985498f31fd258f1bbd21d785d61508e209f2f9cd0bf3d68 |