Installation instructions with the right repo URL