Information for file /usr/lib64/gap/pkg/profiling/gap/profiling.gd
| Name | /usr/lib64/gap/pkg/profiling/gap/profiling.gd |
|---|---|
| Digest (sha256) | a9fb5faf2e2789598c21837ea6bb7ee3fe3da23d9d39d7aa23f20ed37a37a811 |
| Size | 8.07 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-2.fc40.riscv64.rpm |
