What happened?

I'm trying to install the package [email protected]
The install looks fine and a devbox update gives me
Info: Already up-to-date [email protected] 1.15.0

but if I run php -r "phpinfo(INFO_MODULES);" | grep -B 3 -i version |grep MongoDB i get

2.1.1 is the latest version

Steps to reproduce

1. devbox add [email protected] install php 8.1
2. devbox add [email protected] install the php extension
3. php -r "phpinfo(INFO_MODULES);" | grep -B 3 -i version |grep MongoDB check asking to PHP the version of the loaded extension

Command

No response

devbox.json

{
  "$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.14.2/.schema/devbox.schema.json",
  "packages": [
    "[email protected]",
    "[email protected]"
  ],
  "shell": {
    "init_hook": [
      "echo 'Welcome to devbox!' > /dev/null"
    ],
    "scripts": {
      "test": [
        "echo \"Error: no test specified\" && exit 1"
      ]
    }
  }
}

Devbox version

0.15.1

Nix version

nix (Determinate Nix 3.6.6) 2.29.0

What system does this bug occur on?

Linux (x86-64)

Debug logs

No response