urdfdom_headers.pc

266.00 B -rw-r--r--

RPM 89788

File

Name: /usr/share/pkgconfig/urdfdom_headers.pc
Digest (sha256): beb9b1e525753c8cda9d3f33e1705c368d01147a54a18936783b4aa790c287aa
Size: 266.00 B
Modification time: Fri, 17 Jul 2026 00:00:00 UTC
Flags: none
RPM: urdfdom-headers-devel-1.1.2-5.fc45.noarch.rpm