../ libghc-fingertree-dev_0.1.1.0-3_amd64.deb 05-Dec-2015 07:50 136946 libghc-fingertree-dev_0.1.1.0-3_i386.deb 05-Dec-2015 07:51 140440 libghc-fingertree-doc_0.1.1.0-3_all.deb 05-Dec-2015 07:50 42110 libghc-fingertree-prof_0.1.1.0-3_amd64.deb 05-Dec-2015 07:50 125806 libghc-fingertree-prof_0.1.1.0-3_i386.deb 05-Dec-2015 07:51 130656