Information for file urdfdom-headers-0.4.2-fedora.patch
Name | urdfdom-headers-0.4.2-fedora.patch |
---|---|
Digest (sha256) | da4a2dd9cb831d597e51fb9cd41f660fe6d5189bc589e97b46caeb4a9a3efa9f |
Size | 3.99 KB |
Modification time | Fri, 28 Jul 2017 01:47:13 UTC |
User | mockbuild |
Group | mockbuild |
Mode | -rw-r--r-- |
Flags | |
RPM | urdfdom-headers-0.4.2-3.fc27.src.rpm |