Mon, 02 Dec 2024 23:48:23 UTC | login

Information for file /usr/lib64/ghc-8.4.4/shake-0.16.4/Development/Shake/Internal/CmdOption.hi

Name/usr/lib64/ghc-8.4.4/shake-0.16.4/Development/Shake/Internal/CmdOption.hi
Digest (sha256)cefcce757ba0fa8b9b6764570d028444963a5003db73ad3679b998b3b08ece27
Size49.96 KB
Modification timeFri, 26 Jul 2019 00:22:54 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-shake-devel-0.16.4-10.fc31.riscv64.rpm