../ prover9-doc_0.0.200902a-2.1_all.deb 02-Aug-2025 10:26 837K prover9-manual_0.0.200902a-2.1.debian.tar.xz 02-Aug-2025 10:26 4668 prover9-manual_0.0.200902a-2.1.dsc 02-Aug-2025 10:26 1980 prover9-manual_0.0.200902a.orig.tar.gz 02-Aug-2025 10:26 1010K