Sat, 15 Jun 2024 21:31:41 UTC | login

Information for file /usr/lib/gap/pkg/EDIM-1.3.5/lib/util2.gi

Name/usr/lib/gap/pkg/EDIM-1.3.5/lib/util2.gi
Digest (sha256)2f195818849cf36f1aec783168ea74b0dbfd030d2e5ffca28e3720419ff5efd3
Size2.46 KB
Modification timeTue, 13 Aug 2019 08:46:42 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-edim-1.3.5-5.fc33.riscv64.rpm