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

../
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      28-Oct-2025 13:28              637990
libghc-copilot-theorem-doc_3.18.1-2_all.deb        28-Oct-2025 13:28              191800
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     28-Oct-2025 13:51              563280