Merge pull request #231910 from wegank/example-robot-data-bump

example-robot-data: 4.0.5 -> 4.0.6
This commit is contained in:
Weijia Wang 2023-05-16 07:49:43 +02:00 committed by GitHub
commit 93cd204480
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,14 +8,14 @@
stdenv.mkDerivation rec {
pname = "example-robot-data";
version = "4.0.5";
version = "4.0.6";
src = fetchFromGitHub {
owner = "Gepetto";
repo = pname;
rev = "v${version}";
fetchSubmodules = true;
sha256 = "sha256-KE+wmYlgETt6RtyN/BMApgS075/WtuhY+rM7YFkBH0E=";
hash = "sha256-X1BQGM7MMe753RMb/rVYv7kNnjk/q30u/VJARAXiTAI=";
};
strictDeps = true;