local opam file
Created by: rgrinberg
Allows for pinning with opam pin ...
.
Also allows easier publishing with https://github.com/AltGr/opam-publish
Created by: rgrinberg
Allows for pinning with opam pin ...
.
Also allows easier publishing with https://github.com/AltGr/opam-publish