metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

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

Open proux01 opened this issue 5 months ago • 1 comments

Adapt to https://github.com/coq/coq/pull/19530 To be merged in sync with the upstream PR.

proux01 avatar Sep 17 '24 06:09 proux01