../ libghc-binary-shared-dev_0.8.2-3_amd64.deb 26-May-2013 11:33 132174 libghc-binary-shared-doc_0.8.2-3_all.deb 26-May-2013 11:33 21050 libghc-binary-shared-prof_0.8.2-3_amd64.deb 26-May-2013 11:33 136748