**Current Behavior (bug)** if I change `devbox.json` from `go@1.19` to `go@1.20`, and do `devbox install`, I still see the `go@1.19` in the devbox.lock (in addition to the new `go@1.20`) **Expected Behavior (fix)** Changing a package version should drop the old package version from `devbox.lock` file