Théo Zimmermann (Jun 23 2020 at 15:08): 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?
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
Emilio Jesús Gallego Arias (Jun 26 2020 at 08:43):Is this related to https://github.com/MetaCoq/metacoq/issues/431 ?
Théo Zimmermann (Jun 26 2020 at 08:49):No, the problem I raised is solved now.
Last updated: Apr 19 2024 at 17:02 UTC