libghc-copilot-theorem-dev_4.6-1_amd64.deb
libghc-copilot-theorem-dev_4.6-1_arm64.deb
libghc-copilot-theorem-doc_4.6-1_all.deb
libghc-copilot-theorem-prof_4.6-1_amd64.deb
libghc-copilot-theorem-prof_4.6-1_arm64.deb