local opam file for pinning