Information for file io.github.proofgeneral.metainfo.xml
| Name | io.github.proofgeneral.metainfo.xml |
|---|---|
| Digest (sha256) | c5e2e85f715991e999cd08d0e41eda970c35340149bc21817618f0e8e1e44fc4 |
| Size | 5.12 KB |
| Modification time | Wed, 19 Jul 2023 00:00:00 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | emacs-common-proofgeneral-4.5-5.fc39.src.rpm |
