Merge pull request #303236 from GaetanLepage/mujoco

mujoco: 3.1.3 -> 3.1.4
This commit is contained in:
Samuel Ainsworth 2024-04-12 16:59:28 -04:00 committed by GitHub
commit 2989f99f0f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 4 deletions

View File

@ -129,7 +129,7 @@ let
in stdenv.mkDerivation rec {
pname = "mujoco";
version = "3.1.3";
version = "3.1.4";
# 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-22yH3zAD479TRNS3XSqy6PuuLqyWmjvwScUTVfKumzY=";
hash = "sha256-VgD6ditMDpHki7l23Gjip2roA8Oi4MGpxl+4gSLTEFs=";
};
patches = [ ./mujoco-system-deps-dont-fetch.patch ];

View File

@ -17,7 +17,7 @@
buildPythonPackage rec {
pname = "mujoco";
version = "3.1.3";
version = "3.1.4";
pyproject = true;
@ -27,7 +27,7 @@ buildPythonPackage rec {
# in the project's CI.
src = fetchPypi {
inherit pname version;
hash = "sha256-9wDQdAMQYLRhEd22BDLQBCX4Ie7q8MzHbtldR4Yb1N4=";
hash = "sha256-GdeL1zMri/ArjXyjXTgan48WVPTHDA1/SZxtTYB8QFk=";
};
nativeBuildInputs = [ cmake setuptools ];