../ haskell-copilot-theorem_4.6-2_hurd-amd64.buildinfo 16-Feb-2026 12:03 15811 libghc-copilot-theorem-dev_4.6-2_hurd-amd64.deb 16-Feb-2026 12:03 578576 libghc-copilot-theorem-prof_4.6-2_hurd-amd64.deb 16-Feb-2026 12:03 548376