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 | Wed, 28 Aug 2024 09:51:53 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-normalizinterface-1.3.7-1.fc41.riscv64.rpm |
