Tue, 12 Nov 2024 22:42:14 UTC | login

Information for file /usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el

Name/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el
Digest (sha256)3c3eae6a63e2a0db4b861b6560d102b57a0a3557e3531572036f0d52bcdafb3f
Size83.91 KB
Modification timeWed, 13 Jul 2022 16:18:18 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMemacs-proofgeneral-4.5-7.fc40.noarch.rpm