0001-Add-Debian-specific-SOVERSION.patch
0002-Update-and-fix-package.xml-Eigen-dependency.patch
