I think the scope is the same. Devenv uses nix expressions. Devbox uses json and has an easy syntax for version pinning.