Information for file /usr/lib64/gap/pkg/profiling/gap/profiling.gd
| Name | /usr/lib64/gap/pkg/profiling/gap/profiling.gd |
|---|---|
| Digest (sha256) | 505dd77d49caaeb392467c943f9c6aabe9f7cb45955f4dec5d9b456c2f20fac4 |
| Size | 7.92 KB |
| Modification time | Tue, 27 Aug 2024 17:11:58 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gap-pkg-profiling-2.6.0-1.fc41.riscv64.rpm |
