Repositories for coin-or-data-miplib3

This package is inherited from the project Eulaceura:Mainline and changing repository flags has no effect.