Merge pull request #333411 from GaetanLepage/mujoco

mujoco: 3.2.1 -> 3.2.2
This commit is contained in:
Gaétan Lepage
2024-08-09 18:29:07 +02:00
committed by GitHub
2 changed files with 3 additions and 3 deletions
@@ -129,7 +129,7 @@ let
in stdenv.mkDerivation rec {
pname = "mujoco";
version = "3.2.1";
version = "3.2.2";
# Bumping version? Make sure to look though the MuJoCo's commit
# history for bumped dependency pins!
@@ -137,7 +137,7 @@ in stdenv.mkDerivation rec {
owner = "google-deepmind";
repo = "mujoco";
rev = "refs/tags/${version}";
hash = "sha256-Il1ZZdHXsBcamIILfae8n51W8wJ78a/H3gQx2/+n9kQ=";
hash = "sha256-UUPB7AY6OYWaK5uBu92kmoIE116AfFa34sYmF943AOU=";
};
patches = [ ./mujoco-system-deps-dont-fetch.patch ];
@@ -28,7 +28,7 @@ buildPythonPackage rec {
# in the project's CI.
src = fetchPypi {
inherit pname version;
hash = "sha256-fLo4sQryDNNutDiNqWYHHNwS/bEBg4iQ/jwgyx1+ZsU=";
hash = "sha256-HDN6KA2JYDZqad/MybsX1oV/VvXPshb0mi0UBZq47Qs=";
};
nativeBuildInputs = [