../ prover9-doc_0.0.200902a-2.1_all.deb 11-Jan-2021 03:12 837K prover9-doc_0.0.200902a-2_all.deb 13-Sep-2016 19:44 946K prover9-manual_0.0.200902a-2.1.debian.tar.xz 11-Jan-2021 02:51 4668 prover9-manual_0.0.200902a-2.1.dsc 11-Jan-2021 02:51 1980 prover9-manual_0.0.200902a-2.debian.tar.gz 12-Sep-2016 21:29 4703 prover9-manual_0.0.200902a-2.dsc 12-Sep-2016 21:29 1968 prover9-manual_0.0.200902a.orig.tar.gz 12-Sep-2016 21:29 1010K