Repositories for ppx-tools-versioned

This package is inherited from the project deepin:Develop:main and changing repository flags has no effect.