Index of /ubuntu/pool/universe/h/haskell-copilot-theorem/
../
libghc-copilot-theorem-dev_3.13-1_amd64.deb 10-Jan-2023 16:34 640874
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 09-Jan-2024 11:21 637990
libghc-copilot-theorem-dev_3.18.1-2build1_amd64..> 15-May-2024 20:41 638052
libghc-copilot-theorem-doc_3.13-1_all.deb 10-Jan-2023 16:34 186426
libghc-copilot-theorem-doc_3.18.1-2_all.deb 09-Jan-2024 11:21 191800
libghc-copilot-theorem-doc_3.18.1-2build1_all.deb 15-May-2024 20:41 191954
libghc-copilot-theorem-prof_3.13-1_amd64.deb 10-Jan-2023 16:34 562938
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 09-Jan-2024 11:21 563280
libghc-copilot-theorem-prof_3.18.1-2build1_amd6..> 15-May-2024 20:41 563436