../ libghc-ieee754-dev_0.7.6-6_amd64.deb 05-Dec-2015 08:05 54850 libghc-ieee754-dev_0.7.6-6_i386.deb 05-Dec-2015 08:06 57084 libghc-ieee754-doc_0.7.6-6_all.deb 05-Dec-2015 08:05 29178 libghc-ieee754-prof_0.7.6-6_amd64.deb 05-Dec-2015 08:05 42824 libghc-ieee754-prof_0.7.6-6_i386.deb 05-Dec-2015 08:06 44514