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