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