Add Debian 7.3 box from Puppet Labs