Skip to content

local opam file

Zoggy requested to merge rgrinberg:master into master

Created by: rgrinberg

Allows for pinning with opam pin ....

Also allows easier publishing with https://github.com/AltGr/opam-publish

Merge request reports