Coin-2.5.0.tar.gz