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