Stream: Equations devs & users

Topic: Equations for 8.16?


view this post on Zulip Ralf Jung (Aug 16 2022 at 17:27):

I am testing the Iris projects with Coq 8.16, and one of them uses equations. Is there a coq-8.16-compatible equations package yet? I cannot see one on opam

view this post on Zulip Karl Palmskog (Aug 16 2022 at 19:17):

https://github.com/coq/opam-coq-archive/tree/master/extra-dev/packages/coq-equations/coq-equations.1.3%2B8.16

view this post on Zulip Ralf Jung (Aug 17 2022 at 11:51):

ah, I had just removed extra-dev to work around https://github.com/coq/opam-coq-archive/pull/2080#discussion_r944781266, and then forgot about it again... no wonder


Last updated: Mar 29 2024 at 09:02 UTC