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

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: Jul 13 2024 at 02:02 UTC