../ haskell-copilot-theorem_4.6-1_loong64.buildinfo 11-Nov-2025 06:03 16525 libghc-copilot-theorem-dev_4.6-1_loong64.deb 11-Nov-2025 06:03 1104500 libghc-copilot-theorem-prof_4.6-1_loong64.deb 11-Nov-2025 06:03 1093364