make build-dep fails with coq >= dev, no matching version
Running make build-dep
failed with the following error:
~/iris/tutorial-popl21(master|✔) % make build-dep
# Creating builddep package for coq-iris-tutorial-popl21.opam.
# Installing builddep packages.
[coq-iris-tutorial-popl21-builddep.~dev] no changes from file:///Users/bartj/iris/tutorial-popl21/builddep
The following dependencies couldn't be met:
- coq-iris-tutorial-popl21-builddep -> coq-iris-heap-lang (=
dev.2021-01-13.3.086b3519 & = dev) -> coq-iris = dev.2021-01-13.3.086b3519
-> coq >= dev
no matching version
No solution found, exiting
make: *** [builddep] Error 20
I'm using OPAM 2.0.7:
~/iris/tutorial-popl21(master|✔) % opam --version
2.0.7