../ prover9-doc_0.0.200902a-2.1_all.deb 16-Jul-2025 11:07 837K prover9-manual_0.0.200902a-2.1.debian.tar.xz 18-Jul-2025 14:39 4676 prover9-manual_0.0.200902a-2.1.dsc 18-Jul-2025 14:39 1097 prover9-manual_0.0.200902a.orig.tar.gz 18-Jul-2025 14:39 1010K