../ ghc-data-binary-ieee754-0.4.4-16.fc41.x86_64.rpm 31-Jan-2025 14:51 17480 ghc-data-binary-ieee754-devel-0.4.4-16.fc41.x86..> 31-Jan-2025 14:51 21037 ghc-data-binary-ieee754-prof-0.4.4-16.fc41.x86_..> 31-Jan-2025 14:51 25796