Name Last modified Size Parent Directory - haskell-copilot-theorem_3.13-1_m68k.buildinfo 2023-01-10 13:03 14K libghc-copilot-theorem-dev_3.13-1_m68k.deb 2023-01-10 13:03 871K libghc-copilot-theorem-prof_3.13-1_m68k.deb 2023-01-10 13:03 685K