Do not install opam-depext if using opam 2.2 or later
#3143
The logs for this run have expired and are no longer available.
Loading
opam-depext if using opam 2.2 or later
#3143