../ haskell-copilot-theorem_3.18.1-2+b1_ppc64.build..> 13-Apr-2024 18:03 17061 libghc-copilot-theorem-dev_3.18.1-2+b1_ppc64.deb 13-Apr-2024 18:03 774812 libghc-copilot-theorem-prof_3.18.1-2+b1_ppc64.deb 13-Apr-2024 18:03 641448