../ libghc-these-dev_0.7.2-6+b1_amd64.deb 24-Sep-2019 10:48 187636 libghc-these-dev_0.7.2-6+b1_i386.deb 22-Jan-2020 00:17 210038 libghc-these-doc_0.7.2-6_all.deb 24-Sep-2019 11:02 72126 libghc-these-prof_0.7.2-6+b1_amd64.deb 24-Sep-2019 10:32 182842 libghc-these-prof_0.7.2-6+b1_i386.deb 22-Jan-2020 00:10 210598