+ file { '/etc/ntp.keys.d/ntpkey_iff_manda-node03':
+ source => 'puppet:///modules/ntp/ntpkey_iff_manda-node03.pub',
+ }
+ file { '/etc/ntp.keys.d/ntpkey_iff_manda-node04':
+ source => 'puppet:///modules/ntp/ntpkey_iff_manda-node04.pub',
+ }
+ file { '/etc/ntp.keys.d/ntpkey_iff_clementi':
+ ensure => absent,
+ }
+ file { '/etc/ntp.keys.d/ntpkey_iff_czerny':
+ ensure => absent,
+ }