../ libghc-these-dev_1.2-ok1_amd64.deb 30-Sep-2024 08:06 128100 libghc-these-dev_1.2-ok1_arm64.deb 09-Oct-2024 08:49 131338 libghc-these-dev_1.2-ok1_loong64.deb 31-Oct-2024 09:31 202520 libghc-these-doc_1.2-ok1_all.deb 09-Oct-2024 07:33 68116 libghc-these-prof_1.2-ok1_amd64.deb 09-Oct-2024 07:52 117892 libghc-these-prof_1.2-ok1_arm64.deb 09-Oct-2024 09:00 137824 libghc-these-prof_1.2-ok1_loong64.deb 31-Oct-2024 09:30 212810