Index of /stable/debian-4-official-release/pool/main/p/proofgeneral/

../
proofgeneral-coq_3.5-4.1_all.deb                   21-Jan-2020 13:46               44672
proofgeneral-doc_3.5-4.1_all.deb                   21-Jan-2020 13:46              121478
proofgeneral-minlog_3.5-4.1_amd64.deb              21-Jan-2020 13:45               17004
proofgeneral-minlog_3.5-4.1_i386.deb               21-Jan-2020 16:00               16996
proofgeneral-misc_3.5-4.1_all.deb                  21-Jan-2020 13:48              150294
proofgeneral_3.5-4.1_all.deb                       21-Jan-2020 13:47              421216