libghc-these-dev_0.7.6-1build1_amd64.deb
libghc-these-dev_1.2-1_amd64.deb
libghc-these-dev_1.2.1-2_amd64.deb
libghc-these-doc_0.7.6-1build1_all.deb
libghc-these-doc_1.2-1_all.deb
libghc-these-doc_1.2.1-2_all.deb
libghc-these-prof_0.7.6-1build1_amd64.deb
libghc-these-prof_1.2-1_amd64.deb
libghc-these-prof_1.2.1-2_amd64.deb