| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| prover9-doc_0.0.200902a-2.1_all.deb | 06/01/21 05:4006/01/21 | 837 KiB | [Save][Download] |
| prover9-doc_0.0.200902a-2_all.deb | 04/05/13 11:3304/05/13 | 944 KiB | [Save][Download] |
| prover9-manual_0.0.200902a-2.1.debian.tar.xz | 06/01/21 05:4006/01/21 | 4.6 KiB | [Save][Download] |
| prover9-manual_0.0.200902a-2.1.dsc | 06/01/21 05:4006/01/21 | 1.9 KiB | [Save][Download] |
| prover9-manual_0.0.200902a-2.debian.tar.gz | 04/05/13 11:3304/05/13 | 4.6 KiB | [Save][Download] |
| prover9-manual_0.0.200902a-2.dsc | 04/05/13 11:3304/05/13 | 1.9 KiB | [Save][Download] |
| prover9-manual_0.0.200902a.orig.tar.gz | 29/04/09 13:0529/04/09 | 1010 KiB | [Save][Download] |