../ haskell-copilot-theorem_4.7-1+b1_ppc64.buildinfo 03-Apr-2026 18:03 16267 haskell-copilot-theorem_4.7-1_ppc64.buildinfo 27-Mar-2026 00:03 15678 libghc-copilot-theorem-dev_4.7-1+b1_ppc64.deb 03-Apr-2026 18:03 700896 libghc-copilot-theorem-dev_4.7-1_ppc64.deb 27-Mar-2026 00:03 697196 libghc-copilot-theorem-prof_4.7-1+b1_ppc64.deb 03-Apr-2026 18:03 684092 libghc-copilot-theorem-prof_4.7-1_ppc64.deb 27-Mar-2026 00:03 679140