Skip to content

ensure instructions also work with opam >= 2.1

Andre Maroneze requested to merge fix/andre/opam-depext into master

Closes frama-c#2667 (closed).

My tests seem to indicate this command succeeds both with opam 2.0 and 2.1, unlike opam install depext, which only works with opam < 2.1, and whose error message (depext unmet availability conditions, e.g. 'opam-version >= "2.0.0~beta5" & opam-version < "2.1"') can lead users astray.

Edited by Allan Blanchard

Merge request reports