Index of /kylin/KYLIN-ALL/pool/main/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_3.18.1-ok1_amd64.deb    29-Sep-2024 08:36              585860
libghc-copilot-theorem-dev_3.18.1-ok1_arm64.deb    09-Oct-2024 09:33              590290
libghc-copilot-theorem-doc_3.18.1-ok1_all.deb      29-Sep-2024 10:10              206512
libghc-copilot-theorem-prof_3.18.1-ok1_amd64.deb   29-Sep-2024 09:30              518116
libghc-copilot-theorem-prof_3.18.1-ok1_arm64.deb   09-Oct-2024 09:32              594536