../ libghc-vector-space-dev_0.10.4-3_armhf.deb 30-Nov-2016 16:08 241020 libghc-vector-space-doc_0.10.4-3_all.deb 28-Oct-2016 07:11 70318 libghc-vector-space-prof_0.10.4-3_armhf.deb 30-Nov-2016 16:08 196052