Coin-1/packaging/redhat
