Revert "Run opam update --depext before installing system dependencies"#919
Merged
smorimoto merged 1 commit intomasterfrom revert-918-opam-update-depextDec 24, 2024
+47-5
opam update --depext before installing system dependencies"#919