../ haskell-copilot-theorem_3.13-1.debian.tar.xz 08-May-2024 15:02 2644 haskell-copilot-theorem_3.13-1.dsc 08-May-2024 15:02 3579 haskell-copilot-theorem_3.13.orig.tar.gz 08-May-2024 15:02 65218 libghc-copilot-theorem-dev_3.13-1_riscv64.deb 26-May-2024 09:49 1268660 libghc-copilot-theorem-doc_3.13-1_all.deb 26-May-2024 09:49 213864 libghc-copilot-theorem-prof_3.13-1_riscv64.deb 26-May-2024 09:49 1134688