A minor change in the Opam install script requires an adjustment to our Dockerfile.
https://github.com/ocaml/opam/commit/abaef66816d6fb26bd63a06ce320e873dac8c42d
https://github.com/ocaml/opam/blob/master/shell/install.sh#L587
A minor change in the Opam install script requires an adjustment to our Dockerfile.
https://github.com/ocaml/opam/commit/abaef66816d6fb26bd63a06ce320e873dac8c42d
https://github.com/ocaml/opam/blob/master/shell/install.sh#L587