../ libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 04-Sep-2025 16:55 637990 libghc-copilot-theorem-doc_3.18.1-2_all.deb 04-Sep-2025 16:56 191800 libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 04-Sep-2025 16:56 563280