Fri, 05 Jul 2024 18:37:13 UTC | login

Information for file /usr/lib64/ghc-8.10.7/idris-1.3.4/Idris/Elab/AsPat.p_hi

Name/usr/lib64/ghc-8.10.7/idris-1.3.4/Idris/Elab/AsPat.p_hi
Digest (sha256)8588f73c39c15c53954d34546b6b04c691a01bd060102fc0030a56dd601e8869
Size13.10 KB
Modification timeMon, 07 Nov 2022 03:28:28 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-idris-prof-1.3.4-5.fc37.riscv64.rpm