../ ghc-ieee754-0.8.0-33.fc41.x86_64.rpm 29-Jan-2025 09:57 39817 ghc-ieee754-devel-0.8.0-33.fc41.x86_64.rpm 29-Jan-2025 09:57 53524 ghc-ieee754-prof-0.8.0-33.fc41.x86_64.rpm 29-Jan-2025 09:57 64370