Sun, 06 Oct 2024 19:12:23 UTC | login

Information for file /usr/lib64/ghc-8.10.7/idris-1.3.4/Idris/Chaser.dyn_hi

Name/usr/lib64/ghc-8.10.7/idris-1.3.4/Idris/Chaser.dyn_hi
Digest (sha256)27511783275c426f94790c17fec43a8ca63dbdd431efbd89aa00df73ecbe6802
Size15.43 KB
Modification timeMon, 07 Nov 2022 03:28:29 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-idris-devel-1.3.4-5.fc37.riscv64.rpm