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: Sep 26 2023 at 12:02 UTC