libpengine4-dev-dbgsym 1.1.12-0ubuntu3 (armhf binary) in ubuntu xenial

 This package contains static libraries, symbol files as well as
 headers provided by the pacemaker cluster manager (pengine).
 Install it if you want to do development based on pacemaker.