OPAM репозиторий для личных библиотек
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
opam repository add y2k git://github.com/y2k/opam