Information for file /usr/lib64/ghc-8.10.7/erf-2.0.0.0/Data/Number/Erf.hi
| Name | /usr/lib64/ghc-8.10.7/erf-2.0.0.0/Data/Number/Erf.hi |
|---|---|
| Digest (sha256) | 38f9fc9238436efed5449521df57b1dd151287bf55fe9a30e28cdc8a7ecb08d2 |
| Size | 10.23 KB |
| Modification time | Thu, 27 Oct 2022 19:00:13 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-erf-devel-2.0.0.0-17.fc37.riscv64.rpm |
