Folder Path
/
gentoo
/
app-emacs
/
proofgeneral
/
1
directory
3
files
List
Grid
Name
Size
Modified
Up
files/
—
05/19/2024 11:10:56 AM +00:00
Manifest
1.8 KiB
08/13/2023 07:40:15 PM +00:00
metadata.xml
656 B
06/02/2022 01:40:15 PM +00:00
proofgeneral-4.5.ebuild
1.4 KiB
08/16/2022 08:10:22 AM +00:00