Tarballs for vector-space-points

The following versions of vector-space-points exist: