../ libghc-fingertree-dev_0.1.0.0-1_armhf.deb 04-Feb-2014 23:06 134706 libghc-fingertree-doc_0.1.0.0-1_all.deb 24-Nov-2013 15:08 53170 libghc-fingertree-prof_0.1.0.0-1_armhf.deb 04-Feb-2014 23:06 158580