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


../
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      21-Mar-2024 05:39              637990
libghc-copilot-theorem-doc_3.18.1-2_all.deb        21-Mar-2024 07:06              191800
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     21-Mar-2024 05:59              563280