../ libghc-copilot-theorem-dev_4.3-1_amd64.deb 29-Jul-2026 15:14 589720 libghc-copilot-theorem-dev_4.8-1_amd64.deb 06-Sep-2026 17:30 576256 libghc-copilot-theorem-doc_4.3-1_all.deb 29-Jul-2026 15:14 229600 libghc-copilot-theorem-doc_4.8-1_all.deb 06-Sep-2026 17:30 231208 libghc-copilot-theorem-prof_4.3-1_amd64.deb 29-Jul-2026 15:14 548984 libghc-copilot-theorem-prof_4.8-1_amd64.deb 06-Sep-2026 17:30 548976