Обновление пакета rocq в ветке sisyphus