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/18224

Open proux01 opened this issue 1 year ago • 0 comments

To be merged in sync with the upstream PR

proux01 avatar Jan 09 '24 10:01 proux01