../ libghc-these-dev_0.7.2-6+b1_arm64.deb 22-Nov-2019 10:13 271076 libghc-these-doc_0.7.2-6_all.deb 22-Nov-2019 10:13 72126 libghc-these-prof_0.7.2-6+b1_arm64.deb 22-Nov-2019 10:13 241816