This release improves compatibility with GCC and Clang with respect to the handling of C attributes. It fixes a few bugs and adds support for Coq 8.9.0.
確定! 回上一頁