../ haskell-copilot-theorem_3.11-1.debian.tar.xz 06-Oct-2022 23:50 2580 haskell-copilot-theorem_3.11-1.dsc 06-Oct-2022 23:50 3422 haskell-copilot-theorem_3.11.orig.tar.gz 06-Oct-2022 23:50 58334 libghc-copilot-theorem-doc_3.11-1_all.deb 07-Oct-2022 01:12 193352