../ haskell-copilot-theorem_4.3-1.debian.tar.xz 22-Sep-2025 08:57 2936 haskell-copilot-theorem_4.3-1.dsc 22-Sep-2025 08:57 2897 haskell-copilot-theorem_4.3.orig.tar.gz 22-Sep-2025 08:57 71261 libghc-copilot-theorem-dev_4.3-1_loong64.deb 22-Sep-2025 08:57 1126352 libghc-copilot-theorem-doc_4.3-1_all.deb 22-Sep-2025 08:57 230616 libghc-copilot-theorem-prof_4.3-1_loong64.deb 22-Sep-2025 08:57 1109400