../ libghc-data-inttrie-dev_0.0.8-3_amd64.deb 26-May-2013 17:33 21048 libghc-data-inttrie-dev_0.0.8-3_i386.deb 26-May-2013 17:33 19690 libghc-data-inttrie-doc_0.0.8-3_all.deb 26-May-2013 17:33 18454 libghc-data-inttrie-prof_0.0.8-3_amd64.deb 26-May-2013 17:33 19268 libghc-data-inttrie-prof_0.0.8-3_i386.deb 26-May-2013 17:33 18516