proofgeneral-doc_4.5-3_all.deb
proofgeneral_4.5-3.debian.tar.xz
proofgeneral_4.5-3.dsc
proofgeneral_4.5-3_all.deb
proofgeneral_4.5.orig.tar.gz