../ haskell-copilot-theorem_4.8-1_ppc64.buildinfo 24-Jul-2026 18:03 16063 libghc-copilot-theorem-dev_4.8-1_ppc64.deb 24-Jul-2026 18:03 697100 libghc-copilot-theorem-prof_4.8-1_ppc64.deb 24-Jul-2026 18:03 682624