Information for file /usr/lib64/ghc-9.4.5/lib/Agda-2.6.4.3/Agda/Auto/Options.p_hi

Name/usr/lib64/ghc-9.4.5/lib/Agda-2.6.4.3/Agda/Auto/Options.p_hi
Digest (sha256)fa1aed206ee050ba7266b3cb5aa1fe78ef4c33ef5b3054b1ac7ac8db570d61ab
Size23.20 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