../ libghc-copilot-theorem-dev_4.8.1-1_amd64.deb 09-Oct-2026 11:34 576908 libghc-copilot-theorem-doc_4.8.1-1_all.deb 09-Oct-2026 11:34 231156 libghc-copilot-theorem-prof_4.8.1-1_amd64.deb 09-Oct-2026 11:34 552412