../ libghc-data-default-dev_0.7.1.1-5+b1_amd64.deb 17-Oct-2020 09:11 10996 libghc-data-default-dev_0.7.1.1-5+b1_arm64.deb 17-Oct-2020 09:12 11328 libghc-data-default-doc_0.7.1.1-5_all.deb 11-Aug-2020 09:17 38196 libghc-data-default-prof_0.7.1.1-5+b1_amd64.deb 17-Oct-2020 09:11 9148 libghc-data-default-prof_0.7.1.1-5+b1_arm64.deb 17-Oct-2020 09:12 9316