Stream: Equations devs & users

Topic: 8.14 branch compatibility?

view this post on Zulip Ralf Jung (Jun 23 2021 at 09:15):

Is there a version of Equations (ideally as an opam package :D ) that works with the Coq opam package?

view this post on Zulip Matthieu Sozeau (Jun 23 2021 at 15:27):

There must be: @Guillaume Melquiond probably know the exact commit to use

view this post on Zulip Karl Palmskog (Sep 25 2021 at 12:42):

I submitted a package to extra-dev:

Please flag up here or on GitHub if someone wants this changed somehow, I just used the recent tag for 8.14.

Last updated: May 18 2024 at 10:02 UTC