proofgeneral

	Name	Size	Modified
	..	—	—
	proofgeneral-doc_4.5-3_all.deb	660 KB	Mon Sep 22 15:26:47 2025
	proofgeneral_4.5-3.debian.tar.xz	17 KB	Mon Sep 22 15:26:47 2025
	proofgeneral_4.5-3.dsc	2 KB	Mon Sep 22 15:26:47 2025
	proofgeneral_4.5-3_all.deb	625 KB	Mon Sep 22 15:26:47 2025
	proofgeneral_4.5.orig.tar.gz	1 MB	Mon Sep 22 15:26:47 2025