../ libghc-these-dev_0.7.6-1build1_arm64.deb 03-Sep-2019 12:08 303K libghc-these-doc_0.7.6-1build1_all.deb 03-Sep-2019 12:03 90K libghc-these-prof_0.7.6-1build1_arm64.deb 03-Sep-2019 12:08 281K