dune-universe/opam-overlays: PR #141: Switch URLs from `git://` to `git+https://` for github

@cac0ed5

16/03/2022 16:49

Link to Github

Stages:

🟡 x86_64-debian-10-4.13
🟡 arm64-debian-10-4.13

History:

25/03/2022 09:28 🟡 @22ed1db
16/03/2022 16:49 🟡 @cac0ed5