../ haskell-copilot-theorem_3.12-1.debian.tar.xz 09-Nov-2022 00:31 2624 haskell-copilot-theorem_3.12-1.dsc 09-Nov-2022 00:31 3579 haskell-copilot-theorem_3.12.orig.tar.gz 09-Nov-2022 00:31 65706 libghc-copilot-theorem-doc_3.12-1_all.deb 11-Nov-2022 21:01 213864