Context

This MR does a small upgrade to coq-of-ocaml bringing some bug fixes. This comes with the corresponding opam update opam-repository!179 (closed)

Manually testing the MR

The coq:lint rule in the CI should be green.

Checklist

Select suitable reviewers using the Reviewers field below.
Select as Assignee the next person who should take action on that MR

Edited Mar 02, 2022 by Guillaume Claret