Update urdfdom to 4.0.1 (#5265)

pull/5271/head
ruki 2 months ago committed by GitHub
parent 9c05856137
commit 9d0de41276
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 1
      packages/u/urdfdom/xmake.lua

@ -6,6 +6,7 @@ package("urdfdom")
add_urls("https://github.com/ros/urdfdom/archive/refs/tags/$(version).tar.gz",
"https://github.com/ros/urdfdom.git")
add_versions("4.0.1", "46b122c922f44ec32674a56e16fd4b5d068b53265898cbea2c3e1939ecccc62a")
add_versions("1.0.4", "8f3d56b0cbc4b84436d8baf4c8346cd2ee7ffb257bba5ddd9892c41bf516edc4")
add_versions("4.0.0", "9848d106dc88dc0b907d5667c09da3ca53241fbcf17e982d8c234fe3e0d6ddcc")

Loading…
Cancel
Save