../ haskell-copilot-theorem_4.6-1_hurd-amd64.buildinfo 11-Nov-2025 06:03 16064 libghc-copilot-theorem-dev_4.6-1_hurd-amd64.deb 11-Nov-2025 06:03 580532 libghc-copilot-theorem-prof_4.6-1_hurd-amd64.deb 11-Nov-2025 06:03 541600