Thu, 23 Jan 2025 13:08:49 UTC | login

Information for file ghc-ieee754.spec

Nameghc-ieee754.spec
Digest (sha256)23a3079bb739ae4e4f35f973d838e8baca396708b295f7961e9ab8956c6a7449
Size5.71 KB
Modification timeMon, 05 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-------
Flags
RPMghc-ieee754-0.8.0-33.fc41.src.rpm