coq-library-undecidability icon indicating copy to clipboard operation
coq-library-undecidability copied to clipboard

Published 20 hours ago • verified publisher icon uds-psl

CI for Coq 8.16

Open yforster opened this issue 2 years ago • 2 comments

yforster avatar Sep 07 '22 14:09 yforster

Oh no, this is probably going to fail until the opam package for MetaCoq is merged (https://github.com/coq/opam-coq-archive/pull/2288#issuecomment-1239201703), which in turn relies on a new release of MetaCoq (https://github.com/MetaCoq/metacoq/pull/748)

yforster avatar Sep 07 '22 14:09 yforster

Oh no, this is probably going to fail until the opam package for MetaCoq is merged (coq/opam-coq-archive#2288 (comment)), which in turn relies on a new release of MetaCoq (MetaCoq/metacoq#748)

Now that the package is released, what is the state of this PR?

mrhaandi avatar Sep 23 '22 13:09 mrhaandi

https://github.com/coq/opam-coq-archive/pull/2370

yforster avatar Nov 02 '22 14:11 yforster

@yforster Note that smpl will not be necessary anymore with https://github.com/uds-psl/coq-library-undecidability/pull/176, which is ready.

mrhaandi avatar Nov 02 '22 14:11 mrhaandi