../ haskell-copilot-theorem_3.13-1_m68k.buildinfo 10-Jan-2023 12:03 14K libghc-copilot-theorem-dev_3.13-1_m68k.deb 10-Jan-2023 12:03 871K libghc-copilot-theorem-prof_3.13-1_m68k.deb 10-Jan-2023 12:03 685K