[cbc] Rodin 3.6 is available