../ haskell-copilot-theorem_4.7.1-1_ppc64.buildinfo 21-Jun-2026 06:03 15971 libghc-copilot-theorem-dev_4.7.1-1_ppc64.deb 21-Jun-2026 06:03 704832 libghc-copilot-theorem-prof_4.7.1-1_ppc64.deb 21-Jun-2026 06:03 681408