/gentoo-portage/app-emacs/proofgeneral/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
files/	-	2024-Nov-02 11:41
Manifest	1.8 KiB	2023-Aug-14 03:40
proofgeneral-4.5.ebuild	1.4 KiB	2022-Aug-16 16:10
metadata.xml	656 B	2022-Jun-02 21:40