Name Last modified Size Parent Directory - haskell-copilot-theorem_4.6-1_hppa.buildinfo 2025-11-11 07:03 16K libghc-copilot-theorem-dev_4.6-1_hppa.deb 2025-11-11 07:03 1.0M libghc-copilot-theorem-prof_4.6-1_hppa.deb 2025-11-11 07:03 917K