Wed, 19 Jun 2024 10:45:03 UTC | login

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

Name/usr/lib/gap/pkg/EDIM-1.3.5/lib/edim.gi
Digest (sha256)c92d952ce1cacab1036f154602d75a546ef732ab3acf93250176f1a00eb2ef89
Size26.08 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