Sun, 16 Jun 2024 20:39:57 UTC | login

Information for file /usr/share/gap/pkg/format/grp/OOF.gi

Name/usr/share/gap/pkg/format/grp/OOF.gi
Digest (sha256)0c12b94e23eaad4f7ee8b90606f253d0a450e0877682b6d2754db09552076b4a
Size619.00 B
Modification timeTue, 28 Jan 2020 16:16:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-format-1.4.3-9.fc38.noarch.rpm