Tue, 26 Nov 2024 04:37:28 UTC | login

Information for file /usr/share/emacs/site-lisp/proofgeneral

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