../ haskell-copilot-theorem_4.0-2+b2_ppc64.buildinfo 23-Oct-2024 06:03 16K libghc-copilot-theorem-dev_4.0-2+b2_ppc64.deb 23-Oct-2024 06:03 680K libghc-copilot-theorem-prof_4.0-2+b2_ppc64.deb 23-Oct-2024 06:03 646K