../ haskell-copilot-theorem_3.19.1-1.debian.tar.xz 15-Nov-2024 06:32 2844 haskell-copilot-theorem_3.19.1-1.dsc 15-Nov-2024 06:32 3793 haskell-copilot-theorem_3.19.1.orig.tar.gz 15-Nov-2024 06:32 64673 libghc-copilot-theorem-dev_3.19.1-1_loong64.deb 29-Oct-2024 16:24 943832 libghc-copilot-theorem-doc_3.19.1-1_all.deb 30-Oct-2024 21:28 220392 libghc-copilot-theorem-prof_3.19.1-1_loong64.deb 29-Oct-2024 16:24 970268