Mon, 16 Dec 2024 13:55:08 UTC | login

Information for file /usr/lib/gap/pkg/EDIM-1.3.3/lib/edim.gi

Name/usr/lib/gap/pkg/EDIM-1.3.3/lib/edim.gi
Digest (sha256)5adb69b1410fb857c2477d655b6d8a26a392addd74efcd1365a50e890fc14b17
Size25.97 KB
Modification timeTue, 30 Jan 2018 17:42:47 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-edim-1.3.3-5.fc31.riscv64.rpm