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