../ libghc-fingertree-dev_0.1.1.0-3_amd64.deb 16-Mar-2016 10:08 136946 libghc-fingertree-dev_0.1.3.1-1_amd64.deb 02-Oct-2018 09:45 190180 libghc-fingertree-doc_0.1.1.0-3_all.deb 16-Mar-2016 11:13 42110 libghc-fingertree-doc_0.1.3.1-1_all.deb 02-Oct-2018 09:46 53220 libghc-fingertree-prof_0.1.1.0-3_amd64.deb 16-Mar-2016 11:07 125806 libghc-fingertree-prof_0.1.3.1-1_amd64.deb 02-Oct-2018 09:48 182236