../ haskell-copilot-theorem_4.7-1+b1_ppc64.buildinfo 03-Apr-2026 18:03 16267 libghc-copilot-theorem-dev_4.7-1+b1_ppc64.deb 03-Apr-2026 18:03 700896 libghc-copilot-theorem-prof_4.7-1+b1_ppc64.deb 03-Apr-2026 18:03 684092