Fri, 29 Nov 2024 16:12:25 UTC | login

Information for file /usr/share/doc/proofgeneral/acl2

Name/usr/share/doc/proofgeneral/acl2
Digest (sha256)
Size0.00 B
Modification timeFri, 13 Jul 2018 03:06:19 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMemacs-common-proofgeneral-4.4-7.fc29.noarch.rpm