Index of /nightly/debian-7-official-release/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.2~pre120605-2_all.deb           24-Sep-2019 08:15              671274
proofgeneral_4.2~pre120605-2_all.deb               24-Sep-2019 08:04              432172