../ proofgeneral-coq_3.5-3_all.deb 09-Feb-2010 15:26 77 proofgeneral-doc_3.5-3_all.deb 09-Feb-2010 15:26 77 proofgeneral-misc_3.5-3_all.deb 09-Feb-2010 15:26 78 proofgeneral_3.5-3.diff.gz 09-Feb-2010 15:26 73 proofgeneral_3.5-3.dsc 09-Feb-2010 15:26 69 proofgeneral_3.5-3_all.deb 09-Feb-2010 15:26 73 proofgeneral_3.5.orig.tar.gz 09-Feb-2010 15:26 75