I’m trying to add a package that exists in a specific directory of a GitHub repository. The command I’m running (which is also the one noted in their docs) is this one:
opam pin add bril https://github.com/sampsyo/bril/tree/master/bril-ocaml
However, I get this error from that command:
[ERROR] Error getting source from https://github.com/sampsyo/bril/tree/master/bril-ocaml: - Unknown archive type: /private/var/folders/28/5hk42_6s4z9d5mm7cqc0jng00000gn/T/opam-59021-9b8556/bril-ocaml
I’ve resulted to pinning the package from a local copy of that repository, and that works fine, but I’m wondering what I’m missing to make the suggested command work.
Thanks for any help!