Mon, 16 Dec 2024 13:53:37 UTC | login

Information for file /usr/lib/gap/pkg/EDIM-1.3.3/doc/main.xml

Name/usr/lib/gap/pkg/EDIM-1.3.3/doc/main.xml
Digest (sha256)e2afda0841c00aeb64d012ff8ab8e8af821ed3a498bae2b3e23bc3e9c0f86f3a
Size28.00 KB
Modification timeTue, 30 Jan 2018 17:42:47 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-edim-doc-1.3.3-6.fc31.noarch.rpm