../ libghc-edit-distance-dev_0.2.1.1-2_amd64.deb 25-May-2013 12:03 138442 libghc-edit-distance-doc_0.2.1.1-2_all.deb 25-May-2013 12:03 31886 libghc-edit-distance-prof_0.2.1.1-2_amd64.deb 25-May-2013 12:03 125728