| Name | /usr/lib64/ghc-9.10.2/lib/riscv64-linux-ghc-9.10.2/ghci-9.10.2-d3cb/GHCi/Server.hi |
|---|---|
| Digest (sha256) | 775cc449912a5e374372642f957a66ca67c0a8dfed4d987b323a8e37c0ed0fc5 |
| Size | 6.29 KB |
| Modification time | Sun, 29 Jun 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc9.10-ghci-devel-9.10.2-9.fc42.riscv64.rpm |