Index of /livecdroom/source/antix/main/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral_4.2~pre120605-2.debian.tar.gz	2017-11-21 00:42	19K
	proofgeneral_4.2~pre120605-2.dsc	2017-11-21 00:42	1.9K
	proofgeneral_4.2~pre120605.orig.tar.gz	2017-11-21 00:42	1.0M
	proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2015-07-27 00:49	19K
	proofgeneral_4.3~pre131011-0.2.dsc	2015-07-27 00:49	1.9K
	proofgeneral_4.3~pre131011.orig.tar.xz	2015-07-27 00:49	11M
	proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz	2019-09-05 01:51	19K
	proofgeneral_4.4.1~pre170114-1.1.dsc	2019-09-05 01:51	1.9K
	proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz	2021-09-23 09:45	19K
	proofgeneral_4.4.1~pre170114-1.2.dsc	2021-09-23 09:45	1.9K
	proofgeneral_4.4.1~pre170114-1.debian.tar.xz	2017-08-07 10:57	19K
	proofgeneral_4.4.1~pre170114-1.dsc	2017-08-07 10:57	1.9K
	proofgeneral_4.4.1~pre170114.orig.tar.xz	2017-08-07 10:57	8.9M