../ libghc-vector-space-dev_0.8.1-1_amd64.deb 26-May-2012 15:53 199746 libghc-vector-space-doc_0.8.1-1_all.deb 26-May-2012 15:53 69754 libghc-vector-space-prof_0.8.1-1_amd64.deb 26-May-2012 15:53 219928