../ libghc-ieee754-dev_0.8.0-1_amd64.deb 07-Jan-2019 19:00 72734 libghc-ieee754-dev_0.8.0-1_i386.deb 07-Jan-2019 18:28 76434 libghc-ieee754-doc_0.8.0-1_all.deb 07-Jan-2019 18:37 30242 libghc-ieee754-prof_0.8.0-1_amd64.deb 07-Jan-2019 18:48 60508 libghc-ieee754-prof_0.8.0-1_i386.deb 07-Jan-2019 19:01 63006