-
Xavier Leroy authored
configure: accept Coq 8.7.0 and 8.6.1. (Coq 8.6 became incompatible with commit b4f59c47.) Changelog: updated.
c96c5057
configure: accept Coq 8.7.0 and 8.6.1. (Coq 8.6 became incompatible with commit b4f59c47.) Changelog: updated.