../ libghc-these-dev_1.0.1-3+b1_amd64.deb 29-Oct-2020 14:21 158564 libghc-these-dev_1.0.1-3+b1_arm64.deb 29-Oct-2020 14:21 184360 libghc-these-doc_1.0.1-3_all.deb 29-Oct-2020 14:21 81884 libghc-these-prof_1.0.1-3+b1_amd64.deb 29-Oct-2020 14:21 155716 libghc-these-prof_1.0.1-3+b1_arm64.deb 29-Oct-2020 14:21 171500