Обновление инструментов

Инструменты обновились сегодня. Настоятельно рекомендуется обновить их перед использованием. Для этого используйте команды opam update и opam upgrade.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *