| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 p9m4_0.5.dfsg-3.debian.tar.xz | 8792 bytes | 2015-12-14 15:51:15 |
| 📄 p9m4_0.5.dfsg-3.dsc | 1726 bytes | 2015-12-14 15:51:15 |
| 📄 p9m4_0.5.dfsg.orig.tar.gz | 88683 bytes | 2012-04-19 02:56:13 |
| 📄 prover9-mace4_0.5.dfsg-3_all.deb | 52670 bytes | 2015-12-14 17:37:43 |