Index of /old-ubuntu/pool/universe/p/proofgeneral/

../
proofgeneral-coq_3.7-4_all.deb                                                                                           25-Sep-2023 20:59     71K
proofgeneral-doc_3.7-4_all.deb                                                                                           25-Sep-2023 20:59     88K
proofgeneral-minlog_3.7-4_all.deb                                                                                        25-Sep-2023 20:59     20K
proofgeneral-misc_3.7-4_all.deb                                                                                          25-Sep-2023 20:59    139K
proofgeneral_3.7-4_all.deb                                                                                               25-Sep-2023 20:59    474K