Skip to content

Adapt to https://github.com/coq/coq/pull/18014

Pierre Rouxrequested to merge
proux1/iris:coq_18014 into master

This is an overlay to be merged synchronously with the upstream PR.

Merge request reports