../ haskell-copilot-theorem_4.0-2+b2_ppc64.buildinfo 23-Oct-2024 06:03 16625 libghc-copilot-theorem-dev_4.0-2+b2_ppc64.deb 23-Oct-2024 06:03 696440 libghc-copilot-theorem-prof_4.0-2+b2_ppc64.deb 23-Oct-2024 06:03 661324