No coq-itree-extra 5.2.1?

[lastland]

I see that there is now a coq-itree 5.2.1 on opam, but not coq-itree-extra. There is also a new requirement for coq-itree 5.2.1 to have coq-paco >= 4.2.1, but coq-itree-extra 5.2.0 requires coq-paco <= 4.2.0, so they are not compatible.

[Lysxia]

Oops!