../ prover9-doc_0.0.200902a-2.1_all.deb 18-Dec-2024 03:26 857340 prover9-doc_0.0.200902a-2_all.deb 18-Dec-2024 03:24 966634 prover9-manual_0.0.200902a-2.1.debian.tar.xz 18-Dec-2023 16:21 4668 prover9-manual_0.0.200902a-2.1.dsc 18-Dec-2023 16:21 1980 prover9-manual_0.0.200902a-2.debian.tar.gz 18-Dec-2023 16:19 4703 prover9-manual_0.0.200902a-2.dsc 18-Dec-2023 16:19 1968 prover9-manual_0.0.200902a.orig.tar.gz 18-Dec-2023 16:21 1034444