Index of /pub/linux/gentoo-portage/app-emacs/proofgeneral/

Filename	Modification time	Size
Manifest	2023-08-13 21:40 CEST	1841 B
metadata.xml	2022-06-02 15:40 CEST	656 B
proofgeneral-4.5.ebuild	2022-08-16 10:10 CEST	1445 B