../ libghc-managed-dev_1.0.7-2_amd64.deb 29-Oct-2020 14:20 35540 libghc-managed-dev_1.0.7-2_arm64.deb 29-Oct-2020 14:20 39688 libghc-managed-doc_1.0.7-2_all.deb 29-Oct-2020 14:20 48308 libghc-managed-prof_1.0.7-2_amd64.deb 29-Oct-2020 14:20 34136 libghc-managed-prof_1.0.7-2_arm64.deb 29-Oct-2020 14:20 35680