../ libghc-data-default-dev_0.7.1.1-5_amd64.deb 29-Oct-2020 14:18 10712 libghc-data-default-dev_0.7.1.1-5_arm64.deb 29-Oct-2020 14:18 11008 libghc-data-default-doc_0.7.1.1-5_all.deb 29-Oct-2020 14:18 38196 libghc-data-default-prof_0.7.1.1-5_amd64.deb 29-Oct-2020 14:18 8868 libghc-data-default-prof_0.7.1.1-5_arm64.deb 29-Oct-2020 14:18 9016