Skip to content

Opam 2.1 compatibility

Kim Nguyễn requested to merge opam-2.1-compat into dev

Tweak the tools/init_opam_switch.sh script so that it is compatible with both opam 2.0.x and opam 2.1.x

Merge request reports