../ libghc-fingertree-dev_0.1.1.0-3_amd64.deb 28-May-2020 21:42 136946 libghc-fingertree-dev_0.1.3.1-1_amd64.deb 28-May-2020 17:50 190180 libghc-fingertree-doc_0.1.1.0-3_all.deb 28-May-2020 21:28 42110 libghc-fingertree-doc_0.1.3.1-1_all.deb 28-May-2020 17:34 53220 libghc-fingertree-prof_0.1.1.0-3_amd64.deb 28-May-2020 21:53 125806 libghc-fingertree-prof_0.1.3.1-1_amd64.deb 28-May-2020 17:51 182236