../ libghc-fingertree-dev_0.1.0.0-1_amd64.deb 24-Nov-2013 23:23 97394 libghc-fingertree-dev_0.1.1.0-3_amd64.deb 05-Dec-2015 14:50 136946 libghc-fingertree-doc_0.1.0.0-1_all.deb 24-Nov-2013 23:53 41456 libghc-fingertree-doc_0.1.1.0-3_all.deb 05-Dec-2015 14:50 42110 libghc-fingertree-prof_0.1.0.0-1_amd64.deb 24-Nov-2013 23:23 134980 libghc-fingertree-prof_0.1.1.0-3_amd64.deb 05-Dec-2015 14:50 125806