Is there a version of Equations (ideally as an opam package :D ) that works with the 8.14.dev Coq opam package?
There must be: @Guillaume Melquiond probably know the exact commit to use
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