/usr/share/gap/pkg/fga/lib/util.gi
530.00 B
-rw-r--r--
File
- Name
- /usr/share/gap/pkg/fga/lib/util.gi
- Digest (sha256)
- 7d71c213ce3e9d2ff89f5830ef03f5a154b379cc141b0cc63e3142486c244e96
- Size
- 530.00 B
- Modification time
- Tue, 04 Apr 2023 12:49:33 UTC
- Flags
- none
- RPM
- gap-pkg-fga-1.5.0-5.fc45.noarch.rpm