../ libghc-these-dev_1.2-1_arm64.deb 08-Nov-2023 14:05 146906 libghc-these-dev_1.2-1_armhf.deb 08-Nov-2023 14:05 152206 libghc-these-doc_1.2-1_all.deb 08-Nov-2023 10:21 64736 libghc-these-prof_1.2-1_arm64.deb 08-Nov-2023 14:05 155880 libghc-these-prof_1.2-1_armhf.deb 08-Nov-2023 14:05 166744