../ haskell-copilot-theorem_4.2-1.debian.tar.xz 22-Jan-2025 23:54 2928 haskell-copilot-theorem_4.2-1.dsc 22-Jan-2025 23:54 3764 haskell-copilot-theorem_4.2.orig.tar.gz 22-Jan-2025 23:54 66178