| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 p9m4_0.5.dfsg-3.debian.tar.xz | 8792 bytes | 2022-04-11 03:22:56 |
| 📄 p9m4_0.5.dfsg-3.dsc | 1726 bytes | 2022-04-11 03:22:56 |
| 📄 p9m4_0.5.dfsg.orig.tar.gz | 88683 bytes | 2022-04-11 03:22:56 |
| 📄 prover9-mace4_0.5.dfsg-3_all.deb | 52670 bytes | 2022-04-11 02:55:08 |