Information for file /usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KYNBucNbCc71BaBPKFcCa9-ghc9.6.6.so

Name/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KYNBucNbCc71BaBPKFcCa9-ghc9.6.6.so
Digest (sha256)311335bf998c94ec368db7f456ca62f79c52352c30499f5e1c1760fbf5de4f64
Size90.97 MB
Modification timeMon, 20 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMghc-Agda-2.6.4.3-53.fc42.riscv64.rpm