Information for file /usr/share/metainfo/org.gap-system.gap.metainfo.xml
Name | /usr/share/metainfo/org.gap-system.gap.metainfo.xml |
---|---|
Digest (sha256) | 3c8b119b06699169c3963ddc895961993aa41cdd68567b074a0e4cfc3200e18f |
Size | 1.52 KB |
Modification time | Sat, 15 Oct 2022 14:10:08 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gap-4.12.0-1.fc37.riscv64.rpm |