Сайт для распространения библиотек и обновлений

Полезные команды

загрузка патчей обновления БД eldoc в текущий каталог:
wget -rL -np -nd -R '*.html*' cdn.robolab.msk.ru/eldoc/db-patch/