OPAM using incorrect URL for Core dev repo

I’m trying to use OPAM to install Core from the development repo using opam pin add core --dev-repo. However OPAM wants to use the URL git+https://github.com/janestreet/core.git and passes that to git, rather than just the portion starting with https. This causes git to fail with a fatal error.

Do I need to file a bug report either with OPAM or Core to get this fixed?

For context, I’m doing this to get around a build error with cohttpasync` on Arch Linux.

1 Like

It is an opam1.2 issue, I answered on the issue, but I quote it here, in case it helps other users:

[…] the syntax git+https was introduced on the new opam2.0 format […]
However, you can pin the development version with

opam pin add core https://github.com/janestreet/core -k git