Filename | Modification time | Size |
---|---|---|
prover9-doc_0.0.200902a-2.1_all.deb | 837 KiB | |
prover9-doc_0.0.200902a-2_all.deb | 944 KiB | |
prover9-manual_0.0.200902a-2.1.debian.tar.xz | 4668 B | |
prover9-manual_0.0.200902a-2.1.dsc | 1980 B | |
prover9-manual_0.0.200902a-2.debian.tar.gz | 4703 B | |
prover9-manual_0.0.200902a-2.dsc | 1968 B | |
prover9-manual_0.0.200902a.orig.tar.gz | 1010 KiB |