../ libghc-copilot-theorem-dev_3.18.1-ok1_amd64.deb 07-Apr-2025 03:57 585860 libghc-copilot-theorem-dev_3.18.1-ok1_arm64.deb 07-Apr-2025 03:25 590292 libghc-copilot-theorem-doc_3.18.1-ok1_all.deb 19-Mar-2025 14:21 206512 libghc-copilot-theorem-prof_3.18.1-ok1_amd64.deb 07-Apr-2025 04:01 518114 libghc-copilot-theorem-prof_3.18.1-ok1_arm64.deb 07-Apr-2025 03:28 594536