Mon, 16 Dec 2024 13:30:01 UTC | login

Information for file /usr/lib/gap/pkg/edim/lib/util.gd

Name/usr/lib/gap/pkg/edim/lib/util.gd
Digest (sha256)dd29e32ecaa87acb2b2972af7c42cc518cce97e7547571a6f0f9a5adcf80647c
Size541.00 B
Modification timeTue, 30 Jan 2018 17:42:47 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-edim-1.3.3-1.fc29.riscv64.rpm