../ proofgeneral-coq_3.5-3_all.deb 30-Apr-2005 17:56 44040 proofgeneral-doc_3.5-3_all.deb 30-Apr-2005 17:56 120940 proofgeneral-misc_3.5-3_all.deb 30-Apr-2005 17:56 149776 proofgeneral_3.5-3.diff.gz 30-Apr-2005 17:56 8207 proofgeneral_3.5-3.dsc 20-Aug-2004 13:02 645 proofgeneral_3.5-3_all.deb 30-Apr-2005 17:56 417866 proofgeneral_3.5.orig.tar.gz 20-Aug-2004 12:32 1775841