../ libghc-ieee754-dev_0.7.3-3_amd64.deb 25-May-2013 02:03 104210 libghc-ieee754-dev_0.7.6-6_amd64.deb 05-Dec-2015 15:05 54850 libghc-ieee754-doc_0.7.3-3_all.deb 25-May-2013 01:33 33934 libghc-ieee754-doc_0.7.6-6_all.deb 05-Dec-2015 15:05 29178 libghc-ieee754-prof_0.7.3-3_amd64.deb 25-May-2013 02:03 87482 libghc-ieee754-prof_0.7.6-6_amd64.deb 05-Dec-2015 15:05 42824