RedirectedUrl: version 1.8.8: HOMEPAGE: permanently redirected: https://projects.coin-or.org/Bonmin/ -> https://github.com/coin-or/Bonmin/