y2k / opam

OPAM репозиторий для личных библиотек

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Подключение

opam repository add y2k git://github.com/y2k/opam

About

OPAM репозиторий для личных библиотек