../ libghc-numeric-extras-dev_0.1-1_amd64.deb 11-Jan-2016 05:36 15684 libghc-numeric-extras-dev_0.1-1_i386.deb 11-Jan-2016 05:37 15486 libghc-numeric-extras-doc_0.1-1_all.deb 11-Jan-2016 05:36 16962 libghc-numeric-extras-prof_0.1-1_amd64.deb 11-Jan-2016 05:36 12290 libghc-numeric-extras-prof_0.1-1_i386.deb 11-Jan-2016 05:37 12310