Skip to content
Blame History Permalink
  • Xavier Leroy's avatar
    Coq 8.7.1 support · 3c23a268
    Xavier Leroy authored 
    It is compatible with 8.7.0 and 8.6.1, no changes required to the Coq sources of CompCert.
    3c23a268