Gaetan Lepage 150f3b72ce mujoco: 3.14.0 -> 3.15.0 ...

Diff: https://github.com/google-deepmind/mujoco/compare/3.14.0...3.15.0

Changelog: https://mujoco.readthedocs.io/en/3.15.0/changelog.html

2026-10-06 18:23:54 +00:00

..

default.nix

…