../ prover9-doc_0.0.200902a-2.1_all.deb 16-Jul-2025 06:07 856872 prover9-manual_0.0.200902a-2.1.debian.tar.xz 18-Jul-2025 09:39 4676 prover9-manual_0.0.200902a-2.1.dsc 18-Jul-2025 09:39 1097 prover9-manual_0.0.200902a.orig.tar.gz 18-Jul-2025 09:39 1034444