precise-dev repository is no longer used.