../ libghc-numeric-extras-dev_0.1-5+b2_amd64.deb 03-Dec-2018 15:43 21856 libghc-numeric-extras-dev_0.1-5+b2_i386.deb 03-Dec-2018 15:38 21648 libghc-numeric-extras-doc_0.1-5_all.deb 30-Sep-2018 22:58 39452 libghc-numeric-extras-prof_0.1-5+b2_amd64.deb 03-Dec-2018 15:43 18492 libghc-numeric-extras-prof_0.1-5+b2_i386.deb 03-Dec-2018 15:38 18392