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: Jan 29 2023 at 15:02 UTC