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

../
libghc-copilot-theorem-dev_4.3-1_amd64.deb         23-Aug-2025 05:34    576K
libghc-copilot-theorem-dev_4.3-1_arm64.deb         25-Aug-2025 01:00    576K
libghc-copilot-theorem-doc_4.3-1_all.deb           23-Aug-2025 05:34    224K
libghc-copilot-theorem-prof_4.3-1_amd64.deb        23-Aug-2025 05:34    536K
libghc-copilot-theorem-prof_4.3-1_arm64.deb        25-Aug-2025 01:00    616K