Index of /builds1/pool/main/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_4.3-1_loong64.deb       29-Nov-2025 17:55             1131488
libghc-copilot-theorem-prof_4.3-1_loong64.deb      29-Nov-2025 17:55             1125968