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

../
proofgeneral-coq_3.7-4_all.deb                                                                                           17-Oct-2010 15:05     71K
proofgeneral-doc_3.7-4_all.deb                                                                                           17-Oct-2010 15:05     88K
proofgeneral-minlog_3.7-4_all.deb                                                                                        17-Oct-2010 15:05     20K
proofgeneral-misc_3.7-4_all.deb                                                                                          17-Oct-2010 15:05    139K
proofgeneral_3.7-4_all.deb                                                                                               17-Oct-2010 15:05    474K