Index of /pub/linux/debian/pool/main/p/proofgeneral/

Filename	Modification time	Size
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb	2019-12-19 10:21 CET	666 KiB
proofgeneral-doc_4.5-2_all.deb	2024-09-17 08:17 CEST	660 KiB
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz	2019-12-19 09:06 CET	19 KiB
proofgeneral_4.4.1~pre170114-1.2.dsc	2019-12-19 09:06 CET	1983 B
proofgeneral_4.4.1~pre170114-1.2_all.deb	2019-12-19 10:21 CET	589 KiB
proofgeneral_4.4.1~pre170114.orig.tar.xz	2017-01-16 22:49 CET	9082 KiB
proofgeneral_4.5-2.debian.tar.xz	2024-09-17 07:57 CEST	17 KiB
proofgeneral_4.5-2.dsc	2024-09-17 07:57 CEST	2122 B
proofgeneral_4.5-2_all.deb	2024-09-17 08:17 CEST	625 KiB
proofgeneral_4.5.orig.tar.gz	2023-08-17 14:46 CEST	1170 KiB