Repository of HDF5 tar distributions, possibly with local Starlink portability modifications