Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-doc_4.3~pre130510-1_all.deb	2013-05-26 01:12	670K
	proofgeneral-doc_4.3~pre131011-0.1_all.deb	2014-09-02 23:20	672K
	proofgeneral-doc_4.3~pre131011-0.2_all.deb	2014-12-30 23:42	674K
	proofgeneral_4.3~pre130510-1.debian.tar.gz	2013-05-20 10:01	20K
	proofgeneral_4.3~pre130510-1.dsc	2013-05-20 10:01	2.0K
	proofgeneral_4.3~pre130510-1_all.deb	2013-05-26 01:12	454K
	proofgeneral_4.3~pre130510.orig.tar.gz	2013-05-20 10:01	1.0M
	proofgeneral_4.3~pre131011-0.1.debian.tar.xz	2014-08-24 00:13	19K
	proofgeneral_4.3~pre131011-0.1.dsc	2014-08-24 00:13	2.0K
	proofgeneral_4.3~pre131011-0.1_all.deb	2014-09-02 23:20	365K
	proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2014-11-17 06:07	19K
	proofgeneral_4.3~pre131011-0.2.dsc	2014-11-17 06:07	1.9K
	proofgeneral_4.3~pre131011-0.2_all.deb	2014-12-30 23:42	365K
	proofgeneral_4.3~pre131011.orig.tar.xz	2014-08-24 00:13	11M