Commit 061e6bf2 authored by Ralf Jung's avatar Ralf Jung
Browse files

tweak opam build-dep installation

parent 20eaca22
Pipeline #4606 passed with stages
in 6 minutes and 50 seconds