Mentions légales du service

Skip to content
Version 8.7.2 of Coq. It fixes a critical bug in the VM handling
of universes (#6677). This bug affected all releases since 8.5.

Other changes include improved support for building with OCaml
4.06.0 and external num package, many other bug fixes,
documentation improvements, and user message improvements (for
details, see the 8.7.2 milestone at