../ libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 16-May-2025 02:07 637990 libghc-copilot-theorem-doc_3.18.1-2_all.deb 16-May-2025 02:08 191800 libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 16-May-2025 01:52 563280