Stream: MetaCoq

Topic: Compatibility with Equations 1.2.2


view this post on Zulip Théo Zimmermann (Jun 23 2020 at 15:08):

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?

view this post on Zulip Matthieu Sozeau (Jun 23 2020 at 15:30):

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

view this post on Zulip Emilio Jesús Gallego Arias (Jun 26 2020 at 08:43):

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

view this post on Zulip Théo Zimmermann (Jun 26 2020 at 08:49):

No, the problem I raised is solved now.


Last updated: Aug 11 2022 at 02:03 UTC