Add repository info in dist.ini