../ libghc-formatting-dev_7.2.0-1_arm64.deb 09-Nov-2023 11:11 311186 libghc-formatting-dev_7.2.0-1_armhf.deb 09-Nov-2023 11:11 290544 libghc-formatting-doc_7.2.0-1_all.deb 09-Nov-2023 11:11 110316 libghc-formatting-prof_7.2.0-1_arm64.deb 09-Nov-2023 11:11 385590 libghc-formatting-prof_7.2.0-1_armhf.deb 09-Nov-2023 11:11 367368