Information for file urdfdom-headers.spec
Name | urdfdom-headers.spec |
---|---|
Digest (sha256) | 82323c7b178b04283703db4c664af90d144bd5e26dd6792d0013ae3397c7c2e0 |
Size | 3.90 KB |
Modification time | Sat, 27 Jul 2019 13:26:52 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-r--r-- |
Flags | |
RPM | urdfdom-headers-1.0.2-3.fc31.src.rpm |