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

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