Debian Patches

Status for urdfdom-headers/1.0.5-3

Patch Description Author Forwarded Bugs Origin Last update
0001-Simplify-exported-urdfdom_headers_INCLUDE_DIRS.patch Simplify exported urdfdom_headers_INCLUDE_DIRS Jochen Sprickerhof <jspricke@debian.org> no 2020-12-19
0002-Install-build-system-files-to-share.patch Install build system files to share Jochen Sprickerhof <jspricke@debian.org> no 2020-12-19
0003-Make-cmake_conf_version_file-ARCH_INDEPENDENT.patch Make cmake_conf_version_file ARCH_INDEPENDENT Jochen Sprickerhof <jspricke@debian.org> no 2020-12-22

All known versions for source package 'urdfdom-headers'

Links