Information for file /usr/bin/check_urdf
Name | /usr/bin/check_urdf |
---|---|
Digest (sha256) | aa90c617063600af6efc450e3a520ece0cda5b31bb506eddbcbc54be5610174e |
Size | 15.91 KB |
Modification time | Tue, 07 Aug 2018 19:04:10 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | urdfdom-0.4.2-9.fc29.riscv64.rpm |