[crux-commits] ports/contrib (3.6): coin-or-cgl: 0.60.4 -> 0.60.5