Remove "dev" from list of compatible coq versions?
Iris currently lists "dev" as a compatible coq version. I have not tried to find out if it actually is compatible, since ssreflect currently does not compile against coq-dev. @jjourdan and I discussed this issue and we came to the conclusion that "dev" should be removed and possibly replaced with a comment explaining to add it again when compiling against coq-dev. What does everyone else think?
This issue came up because the inclusion of "dev" breaks
make build-dep in our gps development. Opam thinks coq-dev is a compatible with both ssreflect (their fault) and Iris (our fault).