libghc-these-dev_1.2.1-1+b1_amd64.deb
libghc-these-dev_1.2.1-1+b1_arm64.deb
libghc-these-doc_1.2.1-1_all.deb
libghc-these-prof_1.2.1-1+b1_amd64.deb
libghc-these-prof_1.2.1-1+b1_arm64.deb