Information for file urdfdom-headers.spec
Name | urdfdom-headers.spec |
---|---|
Digest (sha256) | b6aa9c01494778f660e9732b4bbfae061385f454b940a7384e693248b10bb20a |
Size | 5.24 KB |
Modification time | Sat, 27 Jan 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | urdfdom-headers-1.0.5-8.fc40.src.rpm |