../ haskell-copilot-theorem_4.8-1_hurd-amd64.buildinfo 25-Jul-2026 00:03 16576 libghc-copilot-theorem-dev_4.8-1_hurd-amd64.deb 25-Jul-2026 00:03 574452 libghc-copilot-theorem-prof_4.8-1_hurd-amd64.deb 25-Jul-2026 00:03 549760