../ haskell-copilot-theorem_4.3-1.debian.tar.xz 18-Oct-2026 13:48 2932 haskell-copilot-theorem_4.3-1.dsc 18-Oct-2026 13:48 3801 haskell-copilot-theorem_4.3.orig.tar.gz 18-Oct-2026 13:48 70K libghc-copilot-theorem-dev_4.3-1_amd64.deb 18-Oct-2026 13:48 576K libghc-copilot-theorem-doc_4.3-1_all.deb 18-Oct-2026 13:48 224K libghc-copilot-theorem-prof_4.3-1_amd64.deb 18-Oct-2026 13:48 536K