Fix opam-repository.
Merge pull request #895 from vbmithr/master

Fix the repository