opam version compatible with Coq 8.19

[JasonGross]

Would it be possible to tag a version compatible with Coq 8.19 and release it on opam? I'm trying to minimize MetaCoq/metacoq#1072 with the bug minimizer, and it seems there are no released versions of coq-wasm and coq-certicoq compatible with the same version of Coq

[raoxiaojia]

Sure, I'll test the current 8.19 branch again and make a release on opam after making sure it works.

[raoxiaojia]

Update: created a PR here.

Further update: the opam-Coq's CI somehow fails but our own CI here succeeds -- trying to debug atm.

The above was fixed -- the behaviour of mdx has changed so that it no longer depends on the library being installed by default, so opam-coq-archive's CI run the tests before the library was even compiled. I've made a fix to that and updated the PR there -- hopefully it compiles this time.

[raoxiaojia]

Closed as the corresponding PR on opam-coq-archive is merged.