Updated dist-dev-index