../ libghc-data-default-dev_0.7.1.1-4build1_arm64.deb 25-Aug-2019 14:08 7464 libghc-data-default-doc_0.7.1.1-4build1_all.deb 25-Aug-2019 14:08 25K libghc-data-default-prof_0.7.1.1-4build1_arm64.deb 25-Aug-2019 14:08 4436