../ libghc-vector-space-points-dev_0.2.1.1-3build1_..> 16-Mar-2016 10:11 25168 libghc-vector-space-points-doc_0.2.1.1-3build1_..> 16-Mar-2016 11:43 18300 libghc-vector-space-points-prof_0.2.1.1-3build1..> 16-Mar-2016 11:45 21428