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

../
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      23-Dec-2024 17:26              637990
libghc-copilot-theorem-doc_3.18.1-2_all.deb        23-Dec-2024 18:19              191800
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     23-Dec-2024 17:33              563280