../ proofgeneral-coq_3.5-3_all.deb 01-May-2005 02:56 43K proofgeneral-doc_3.5-3_all.deb 01-May-2005 02:56 118K proofgeneral-misc_3.5-3_all.deb 01-May-2005 02:56 146K proofgeneral_3.5-3.diff.gz 01-May-2005 02:56 8207 proofgeneral_3.5-3.dsc 20-Aug-2004 22:02 645 proofgeneral_3.5-3_all.deb 01-May-2005 02:56 408K proofgeneral_3.5.orig.tar.gz 20-Aug-2004 21:32 2M