gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

urdfdom-headers: 2.0.1 -> 3.0.0, urdfdom: 5.0.4 -> 6.0.0 (#526762)

Browse Source
This commit is contained in:
Guillaume Girol
2026-06-22 21:29:24 +00:00
committed by GitHub
parent 61e757c1ad d580f8d7a7
commit df63e08131
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ur/urdfdom-headers/package.nix
+2 -2
View File
@@ -9,13 +9,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "urdfdom-headers";
version = "2.0.1";
version = "3.0.0";
src = fetchFromGitHub {
owner = "ros";
repo = "urdfdom_headers";
tag = finalAttrs.version;
hash = "sha256-tBNoG5gH3haZETUlI4Pn1mg14T/sMil9n/iSzjJC+Rg=";
hash = "sha256-9bKUuHKSzYiKNDbZwMkB9rbeDC1CUv4X8wDBKkuJkp8=";
};
patches = [
pkgs/by-name/ur/urdfdom/package.nix
+2 -2
View File
@@ -12,13 +12,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "urdfdom";
version = "5.0.4";
version = "6.0.0";
src = fetchFromGitHub {
owner = "ros";
repo = "urdfdom";
tag = finalAttrs.version;
hash = "sha256-52Iv9ltYaGr6Ys3FreBSHOfJnVEp7kwjBpi8Cm6aC/g=";
hash = "sha256-7ExQaz1/QshWwX8C3F2ZY4/Ty8U3/dXnBfwjGYB0SRg=";
};
patches = [