Fri, 04 Oct 2024 17:21:46 UTC | login

Information for file /usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Compiler.p_hi

Name/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Compiler.p_hi
Digest (sha256)dded334774a629293a6e948ef1169384e4859d18135742e733c27be56f46d1b9
Size188.41 KB
Modification timeSun, 21 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-Agda-prof-2.6.4.3-50.fc41.riscv64.rpm