added debian-6.0.8-amd64-puppet
added debian-7.2.0-amd64-puppet