../ libghc-vector-space-dev_0.8.6-3+b5_armhf.deb 03-Oct-2014 07:59 161500 libghc-vector-space-doc_0.8.6-3_all.deb 26-May-2013 07:38 75194 libghc-vector-space-prof_0.8.6-3+b5_armhf.deb 03-Oct-2014 07:59 169924