Skip to content
  • Xavier Leroy's avatar
    Coq 8.7.0 support · c96c5057
    Xavier Leroy authored
    configure: accept Coq 8.7.0 and 8.6.1.
      (Coq 8.6 became incompatible with commit b4f59c47.)
    Changelog: updated.
    c96c5057