Closed jeehoonkang closed 4 years ago
Sorry, I'm opening another PR on dev-repo. It seems the right format for the field is "git+https://github.com/rems-project/rmem.git" (https://github.com/ocaml/opam/search?q=dev-repo&unscoped_q=dev-repo).
This time I checked docs carefully so that I believe the PR is correct. @cp526 please have a look.
Sorry, I'm opening another PR on dev-repo. It seems the right format for the field is "git+https://github.com/rems-project/rmem.git" (https://github.com/ocaml/opam/search?q=dev-repo&unscoped_q=dev-repo).
This time I checked docs carefully so that I believe the PR is correct. @cp526 please have a look.