/usr/lib64/gap/pkg/EDIM/lib/util.gi
6.99 KB
-rw-r--r--
File
- Name
- /usr/lib64/gap/pkg/EDIM/lib/util.gi
- Digest (sha256)
- df5d93de2aebb041cb7a541656bcf9677eff035ad506989d88f76f914d8b4333
- Size
- 6.99 KB
- Modification time
- Wed, 21 Feb 2024 21:47:37 UTC
- Flags
- none
- RPM
- gap-pkg-edim-1.3.8-7.fc45.riscv64.rpm