Information for file /usr/lib64/gap/pkg/NormalizInterface/lib/normaliz.gi
| Name | /usr/lib64/gap/pkg/NormalizInterface/lib/normaliz.gi |
|---|---|
| Digest (sha256) | 957ac098a778461dd4d7ff5c411c253ea2d071b125389f1642f30b556b3dfa2c |
| Size | 4.39 KB |
| Modification time | Sat, 20 May 2023 21:22:39 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-normalizinterface-1.3.6-1.fc41.riscv64.rpm |
