../ libghc-these-dev_0.7.6-1build1_arm64.deb 03-Sep-2019 12:08 310708 libghc-these-dev_1.1.1.1-1build1_arm64.deb 31-Oct-2020 21:23 132280 libghc-these-doc_0.7.6-1build1_all.deb 03-Sep-2019 12:03 91916 libghc-these-doc_1.1.1.1-1build1_all.deb 31-Oct-2020 19:39 60844 libghc-these-prof_0.7.6-1build1_arm64.deb 03-Sep-2019 12:08 287552 libghc-these-prof_1.1.1.1-1build1_arm64.deb 31-Oct-2020 21:23 114460