Index of /waves/wave-001-2026-02-26/archive/pool/universe/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      27-Feb-2026 16:53              637990
libghc-copilot-theorem-doc_3.18.1-2_all.deb        27-Feb-2026 16:53              191800
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     27-Feb-2026 16:53              563280