Information for file /usr/lib64/ghc-8.10.7/ghc-boot-8.10.7/GHC/Settings.hi
Name | /usr/lib64/ghc-8.10.7/ghc-boot-8.10.7/GHC/Settings.hi |
---|---|
Digest (sha256) | ac645d0b1592378ecc9f65d18c0777373a4e21319ab93b36f837b7403b04be16 |
Size | 12.16 KB |
Modification time | Thu, 27 Oct 2022 08:32:18 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | ghc-ghc-boot-devel-8.10.7-121.1.riscv64.fc37.riscv64.rpm |