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

Open proux01 opened this issue 7 months ago • 0 comments

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

This should be merged in sync with the upstream PR

proux01 avatar Jul 14 '24 08:07 proux01