Gaetan Lepage 775bdd0467 mujoco: 3.8.1 -> 3.10.0 ... Diff: https://github.com/google-deepmind/mujoco/compare/3.8.1...3.10.0 Changelog: https://mujoco.readthedocs.io/en/3.10.0/changelog.html		2026-06-22 23:03:33 +00:00
..
default.nix	mujoco: 3.8.1 -> 3.10.0	2026-06-22 23:03:33 +00:00