| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 prover9-doc_0.0.200902a-2.1_all.deb | 856872 bytes | 2025-07-16 04:07:47 |
| 📄 prover9-manual_0.0.200902a-2.1.debian.tar.xz | 4676 bytes | 2025-07-18 07:39:04 |
| 📄 prover9-manual_0.0.200902a-2.1.dsc | 1097 bytes | 2025-07-18 07:39:04 |
| 📄 prover9-manual_0.0.200902a.orig.tar.gz | 1034444 bytes | 2025-07-18 07:39:04 |