haskell-copilot-theorem_4.8-1.debian.tar.xz haskell-copilot-theorem_4.8-1.dsc haskell-copilot-theorem_4.8.orig.tar.gz libghc-copilot-theorem-dev_4.8-1_amd64.deb libghc-copilot-theorem-doc_4.8-1_all.deb libghc-copilot-theorem-prof_4.8-1_amd64.deb