CI failures were occurring during installation using opam depext, alongside
deprecation warning against using this plugin with opam 2.1 (which we are using
in this job).
Additionally, it turns out we don't need to install conf-m4 any more, as it
was a workaround obviated some time ago.
This PR includes an unrelated change to commit the updated opam file resulting
from a recent change to dune-package.
Closes #934
CI failures were occurring during installation using
opam depext
, alongside deprecation warning against using this plugin with opam 2.1 (which we are using in this job).Additionally, it turns out we don't need to install
conf-m4
any more, as it was a workaround obviated some time ago.This PR includes an unrelated change to commit the updated opam file resulting from a recent change to
dune-package
.