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-3_all.deb	2024-11-27 19:28 CET	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-3.debian.tar.xz	2024-11-27 18:42 CET	17 KiB
proofgeneral_4.5-3.dsc	2024-11-27 18:42 CET	2122 B
proofgeneral_4.5-3_all.deb	2024-11-27 19:28 CET	626 KiB
proofgeneral_4.5.orig.tar.gz	2023-08-17 14:46 CEST	1170 KiB