Information for file /usr/lib64/gap/pkg/profiling/gap/profiling.gi
| Name | /usr/lib64/gap/pkg/profiling/gap/profiling.gi |
|---|---|
| Digest (sha256) | 76ca99df8213aaa650d52ae48c16f5c3cb9b0d88d6ef5c2c341fcd1d0e71d680 |
| Size | 36.11 KB |
| Modification time | Thu, 29 Jun 2023 01:56:20 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-profiling-2.5.4-4.fc40.riscv64.rpm |
