File debian.series of Package pacemaker-pygui