Fri, 29 Nov 2024 16:29:11 UTC | login

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

Name/usr/share/doc/proofgeneral/CHANGES
Digest (sha256)94dd8916af9545bc0243d77741f1d34927994c09aea88fdca06a4d41cab39c8c
Size28.88 KB
Modification timeWed, 13 Jul 2022 16:18:18 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMemacs-common-proofgeneral-4.5-2.fc37.noarch.rpm