| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 prover9-doc_0.0.200902a-2.1_all.deb | 857296 bytes | 2021-01-05 23:29:08 |
| 📄 prover9-manual_0.0.200902a-2.1.debian.tar.xz | 4668 bytes | 2021-01-05 22:32:58 |
| 📄 prover9-manual_0.0.200902a-2.1.dsc | 1980 bytes | 2021-01-05 22:32:58 |
| 📄 prover9-manual_0.0.200902a.orig.tar.gz | 1034444 bytes | 2009-03-15 01:32:04 |