../ haskell-copilot-theorem_3.18.1-2_loong64.buildinfo 06-Jun-2024 12:03 16K libghc-copilot-theorem-dev_3.18.1-2_loong64.deb 06-Jun-2024 12:03 920K libghc-copilot-theorem-prof_3.18.1-2_loong64.deb 06-Jun-2024 12:03 948K