Information for file /usr/lib64/ghc-9.4.5/lib/Agda-2.6.4.3/Agda/Compiler/Backend.p_hi

Name/usr/lib64/ghc-9.4.5/lib/Agda-2.6.4.3/Agda/Compiler/Backend.p_hi
Digest (sha256)a3c903dad95cfef027801805eb35c77cfd69e6fa7618fc87adaca4102e856f77
Size276.35 KB
Modification timeSat, 18 May 2024 08:00:00 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-Agda-prof-2.6.4.3-48.fc41.riscv64.rpm