../ haskell-copilot-theorem_3.13-1_m68k.buildinfo 10-Jan-2023 12:03 14222 libghc-copilot-theorem-dev_3.13-1_m68k.deb 10-Jan-2023 12:03 891880 libghc-copilot-theorem-prof_3.13-1_m68k.deb 10-Jan-2023 12:03 701668