../ libghc-numeric-extras-dev_0.0.3-1_amd64.deb 28-Nov-2013 17:33 9138 libghc-numeric-extras-doc_0.0.3-1_all.deb 28-Nov-2013 17:33 15338 libghc-numeric-extras-prof_0.0.3-1_amd64.deb 28-Nov-2013 17:33 9380