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

../
libghc-copilot-theorem-dev_4.3-1_arm64.deb         23-Apr-2026 07:39              589760
libghc-copilot-theorem-doc_4.3-1_all.deb           23-Apr-2026 08:32              229600
libghc-copilot-theorem-prof_4.3-1_arm64.deb        23-Apr-2026 07:39              630804