Name Last modified Size Parent Directory - haskell-copilot-theorem_4.6-1_powerpc.buildinfo 2025-11-11 07:03 15K libghc-copilot-theorem-dev_4.6-1_powerpc.deb 2025-11-11 07:03 810K libghc-copilot-theorem-prof_4.6-1_powerpc.deb 2025-11-11 07:03 710K