Information for file /usr/lib64/ghc-9.4.5/lib/resource-pool-0.4.0.0/Data/Pool.hi
| Name | /usr/lib64/ghc-9.4.5/lib/resource-pool-0.4.0.0/Data/Pool.hi |
|---|---|
| Digest (sha256) | ca4f2b5c630d1a9225bc2a0fc0fa793076b0b1b3c663e5a0a0350512166f00d5 |
| Size | 14.27 KB |
| Modification time | Sun, 23 Jul 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-resource-pool-devel-0.4.0.0-1.fc40.riscv64.rpm |
