../ libghc-copilot-theorem-dev_4.3-1_arm64.deb 09-Oct-2026 08:11 589760 libghc-copilot-theorem-doc_4.3-1_all.deb 09-Oct-2026 07:38 229600 libghc-copilot-theorem-prof_4.3-1_arm64.deb 09-Oct-2026 08:22 630804