../ libghc-copilot-theorem-dev_3.13-1_amd64.deb 20-May-2026 14:49 590456 libghc-copilot-theorem-doc_3.13-1_all.deb 20-May-2026 14:52 213864 libghc-copilot-theorem-prof_3.13-1_amd64.deb 20-May-2026 14:41 512192