../ libghc-copilot-theorem-dev_4.8.1-1_amd64.deb 29-Sep-2026 00:29 563K libghc-copilot-theorem-doc_4.8.1-1_all.deb 29-Sep-2026 00:24 226K libghc-copilot-theorem-prof_4.8.1-1_amd64.deb 29-Sep-2026 00:29 539K