Adding correct repos to the Docker File