pacemaker-dbg 1.1.12-0ubuntu3 (armhf binary) in ubuntu xenial

 High-Availability cluster resource manager for Heartbeat as
 well as Corosync.
 .
 Pacemaker supports a very sophisticated dependency model for
 n-node clusters and can respond to node and resource-level
 failures.
 .
 It supports both the Heartbeat and Corosync cluster stacks.
 .
 This package contains the debugging symbols for Pacemaker.