Tue, 03 Dec 2024 16:37:11 UTC | login

Information for file /usr/lib64/ghc-8.4.4/ieee754-0.8.0

Name/usr/lib64/ghc-8.4.4/ieee754-0.8.0
Digest (sha256)
Size0.00 B
Modification timeFri, 26 Jul 2019 06:08:46 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMghc-ieee754-devel-0.8.0-15.fc31.riscv64.rpm