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 8.14.dev 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: https://github.com/coq/opam-coq-archive/pull/1830

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 28 2023 at 18:29 UTC