Information for file /usr/lib64/ghc-8.10.7/pipes-4.3.16/Pipes.hi
| Name | /usr/lib64/ghc-8.10.7/pipes-4.3.16/Pipes.hi |
|---|---|
| Digest (sha256) | e2c3956c091180816e210b0ce62c638dd809675d2211ea9b23d4d3bcaa46e17f |
| Size | 89.12 KB |
| Modification time | Sat, 29 Oct 2022 17:23:34 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-pipes-devel-4.3.16-4.fc37.riscv64.rpm |
