../ libghc-fingertree-dev_0.1.0.0-1_amd64.deb 24-Nov-2013 23:23 97394 libghc-fingertree-doc_0.1.0.0-1_all.deb 24-Nov-2013 23:53 41456 libghc-fingertree-prof_0.1.0.0-1_amd64.deb 24-Nov-2013 23:23 134980