2013-11-06 3 views

ответ

6

opam использует curl, так что вы можете просто настроить http_proxy, HTTPS_PROXY или ALL_PROXY переменную окружения, чтобы указать на прокси-сервере.

Смежные вопросы