Mentions légales du service

Skip to content

Add support for Coq 8.14.

Guillaume Melquiondrequested to merge
coq-8.14 into master

Most of the changes come from the removal of omega.

This commit also drops support for Coq 8.6.

Merge request reports