../ libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 13-Jul-2026 11:19 637990 libghc-copilot-theorem-doc_3.18.1-2_all.deb 13-Jul-2026 10:45 191800 libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 13-Jul-2026 10:40 563280