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

../
libghc-copilot-theorem-dev_4.3-1_amd64.deb         01-May-2026 12:09              589720
libghc-copilot-theorem-dev_4.3-1_arm64.deb         01-May-2026 12:04              589760
libghc-copilot-theorem-doc_4.3-1_all.deb           01-May-2026 12:06              229600
libghc-copilot-theorem-prof_4.3-1_amd64.deb        01-May-2026 11:51              548984
libghc-copilot-theorem-prof_4.3-1_arm64.deb        01-May-2026 11:53              630804