Index of /pool/universe/p/proofgeneral

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]proofgeneral_3.5.orig.tar.gz2004-10-25 21:16 1.7M
[   ]proofgeneral_3.5-6_all.deb2007-10-29 09:03 409K
[   ]proofgeneral_3.5-6.dsc2007-10-24 00:04 671
[   ]proofgeneral_3.5-6.diff.gz2007-10-24 00:04 17K
[   ]proofgeneral-misc_3.5-6_all.deb2007-10-29 09:03 147K
[   ]proofgeneral-minlog_3.5-6_all.deb2007-10-29 09:03 16K
[   ]proofgeneral-doc_3.5-6_all.deb2007-10-29 09:03 119K
[   ]proofgeneral-coq_3.5-6_all.deb2007-10-29 09:03 44K

Apache/2.4.41 (Ubuntu) Server at dell-mini.archive.canonical.com Port 80