Mon, 04 Nov 2024 11:01:52 UTC | login

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
Size12.16 KB
Modification timeThu, 27 Oct 2022 08:32:18 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-ghc-boot-devel-8.10.7-121.1.riscv64.fc37.riscv64.rpm