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

example-robot-data: 4.0.6 -> 4.0.7
This commit is contained in:
Nick Cao 2023-05-19 20:26:15 -06:00 committed by GitHub
commit 5e8539d16b
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.6";
version = "4.0.7";
src = fetchFromGitHub {
owner = "Gepetto";
repo = pname;
rev = "v${version}";
fetchSubmodules = true;
hash = "sha256-X1BQGM7MMe753RMb/rVYv7kNnjk/q30u/VJARAXiTAI=";
hash = "sha256-dN23ukKPkTohqD1J/0EneLyG6Cg0zriMr1l6WLFemd8=";
};
strictDeps = true;