../ libghc-copilot-theorem-dev_4.3-1_amd64.deb 06-Jan-2026 13:55 589720 libghc-copilot-theorem-dev_4.7-1+b1_amd64.deb 03-Apr-2026 22:13 579648 libghc-copilot-theorem-doc_4.3-1_all.deb 06-Jan-2026 13:55 229600 libghc-copilot-theorem-doc_4.7-1_all.deb 27-Mar-2026 22:17 232068 libghc-copilot-theorem-prof_4.3-1_amd64.deb 06-Jan-2026 13:55 548984 libghc-copilot-theorem-prof_4.7-1+b1_amd64.deb 03-Apr-2026 22:13 554612