../ libghc-fingertree-dev_0.1.4.2-2_amd64.deb 29-Oct-2020 14:19 235584 libghc-fingertree-dev_0.1.4.2-2_arm64.deb 29-Oct-2020 14:19 263876 libghc-fingertree-doc_0.1.4.2-2_all.deb 29-Oct-2020 14:19 108116 libghc-fingertree-prof_0.1.4.2-2_amd64.deb 29-Oct-2020 14:19 242148 libghc-fingertree-prof_0.1.4.2-2_arm64.deb 29-Oct-2020 14:19 264508