Dependencies for Rodin 3.0