../ haskell-copilot-theorem_3.18.1-2+b1_ppc64.buildinfo 13-Apr-2024 18:03 17K libghc-copilot-theorem-dev_3.18.1-2+b1_ppc64.deb 13-Apr-2024 18:03 757K libghc-copilot-theorem-prof_3.18.1-2+b1_ppc64.deb 13-Apr-2024 18:03 626K