../ prover9-doc_0.0.200902a-1_all.deb 03-Apr-2019 02:02 968774 prover9-doc_0.0.200902a-2_all.deb 24-Aug-2017 09:35 968966 prover9-manual_0.0.200902a-1.diff.gz 03-Apr-2019 01:55 4185 prover9-manual_0.0.200902a-1.dsc 03-Apr-2019 01:55 1227 prover9-manual_0.0.200902a-2.debian.tar.gz 03-Oct-2017 09:55 4703 prover9-manual_0.0.200902a-2.dsc 03-Oct-2017 09:55 1968 prover9-manual_0.0.200902a.orig.tar.gz 03-Oct-2017 09:55 1034444