Tue, 26 Nov 2024 04:49:08 UTC | login

Information for file /usr/share/doc/proofgeneral

Name/usr/share/doc/proofgeneral
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