Please create a tag for the version of MetaCoq that CertiCoq can depend on
liyishuai opened this issue · 1 comments
liyishuai commented
CertiCoq currently depends on 98b0360, and does not compile with the coq-8.17 branch.
Please create a tag for this version, for the convenience of tracking CertiCoq on OPAM extra-dev.
mattam82 commented
The dev versions are still very much moving and are quite tightly coupled, so I don't think we want the certicoq extra-dev package to point to an opam package for metacoq yet but rather use the metacoq submodule in certicoq. However, I'll make a release of certicoq working with metacoq 1.3.1+8.18 and 1.3.1+8.19 at least this week.