Apparently since 3.22 there has been a regression in Rocq/Coq builds that has stopped people from upgrading dune. More context here: https://github.com/NixOS/nixpkgs/pull/525323#issuecomment-4612185330 We should investigate and give users a path forward.
Apparently since 3.22 there has been a regression in Rocq/Coq builds that has stopped people from upgrading dune. More context here:
NixOS/nixpkgs#525323 (comment)
We should investigate and give users a path forward.