changed prob repos to point to a release version of prob