mujoco>=3.15.0
typing-extensions>=4.12
