Welcome to Capital Online Mirror Site

/debian-archive/debian-amd64/pool/main/p/proofgeneral/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
proofgeneral_3.5.orig.tar.gz	1.7 MiB	2004-Aug-20 12:32
proofgeneral_3.5-3_all.deb	408.1 KiB	2005-Apr-30 17:56
proofgeneral_3.5-3.dsc	645 B	2004-Aug-20 13:02
proofgeneral_3.5-3.diff.gz	8.0 KiB	2005-Apr-30 17:56
proofgeneral-misc_3.5-3_all.deb	146.3 KiB	2005-Apr-30 17:56
proofgeneral-doc_3.5-3_all.deb	118.1 KiB	2005-Apr-30 17:56
proofgeneral-coq_3.5-3_all.deb	43.0 KiB	2005-Apr-30 17:56

Powered By Capital Online Data Service LTD.  About US  Contact US