local opam file

to allow for pinning