Gaetan Lepage 9253db6de9 mujoco: 3.4.0 -> 3.5.0 ...

Diff: https://github.com/google-deepmind/mujoco/compare/3.4.0...3.5.0

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

2026-02-13 17:50:04 +00:00

..

default.nix

…