pacemaker-dbg 1.1.10+git20130802-4ubuntu3 (arm64 binary) in ubuntu utopic

 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.