Padre-Plugin-Alarm is a Padre repository