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

../
proofgeneral-coq_3.7-3_all.deb                     21-Jan-2020 12:42               71722
proofgeneral-doc_3.7-3_all.deb                     21-Jan-2020 12:50               90102
proofgeneral-minlog_3.7-3_all.deb                  21-Jan-2020 12:38               19598
proofgeneral-misc_3.7-3_all.deb                    21-Jan-2020 12:40              141588
proofgeneral_3.7-3_all.deb                         21-Jan-2020 12:42              483224