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) | ce311f820791a020334320f4b26061c5d28930004837c0540bc9d85238dfda8c |
Size | 90.97 MB |
Modification time | Sun, 21 Jul 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | ghc-Agda-2.6.4.3-50.fc41.riscv64.rpm |