mujoco: 3.1.3 -> 3.1.4
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.3...3.1.4 Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.4
This commit is contained in:
parent
86e1157d8b
commit
090f1039ac
|
@ -129,7 +129,7 @@ let
|
||||||
|
|
||||||
in stdenv.mkDerivation rec {
|
in stdenv.mkDerivation rec {
|
||||||
pname = "mujoco";
|
pname = "mujoco";
|
||||||
version = "3.1.3";
|
version = "3.1.4";
|
||||||
|
|
||||||
# Bumping version? Make sure to look though the MuJoCo's commit
|
# Bumping version? Make sure to look though the MuJoCo's commit
|
||||||
# history for bumped dependency pins!
|
# history for bumped dependency pins!
|
||||||
|
@ -137,7 +137,7 @@ in stdenv.mkDerivation rec {
|
||||||
owner = "google-deepmind";
|
owner = "google-deepmind";
|
||||||
repo = "mujoco";
|
repo = "mujoco";
|
||||||
rev = "refs/tags/${version}";
|
rev = "refs/tags/${version}";
|
||||||
hash = "sha256-22yH3zAD479TRNS3XSqy6PuuLqyWmjvwScUTVfKumzY=";
|
hash = "sha256-VgD6ditMDpHki7l23Gjip2roA8Oi4MGpxl+4gSLTEFs=";
|
||||||
};
|
};
|
||||||
|
|
||||||
patches = [ ./mujoco-system-deps-dont-fetch.patch ];
|
patches = [ ./mujoco-system-deps-dont-fetch.patch ];
|
||||||
|
|
Loading…
Reference in New Issue
Block a user