In coq/coq#12544, I attempted to bump the version of Equations that is pinned in the `v8.12`

to the last release (1.2.2) but it turns out that it is not compatible with the MetaCoq commit that was pinned in this branch (`4e6d6df053b772e627dab8dd00627bd37830787a`

). Do you happen to know which commit, branch or tag of MetaCoq I could used which would be compatible with Coq 8.12 and Equations 1.2.2?

There is no 8.12 version of MetaCoq yet, but the one I will (soon) make will be compatible with Equations 1.2.2

Is this related to https://github.com/MetaCoq/metacoq/issues/431 ?

No, the problem I raised is solved now.

Last updated: May 31 2023 at 03:30 UTC