rogeriopradoj/vagrant-php-dev-box — pull request #1 by arthuralmeidap (2012-12-12 16:42:43+00:00)
Title: Alterado nome da box para phpdevbox conforme o utilizado na seção INSTAL...

Estava seguindo o seu tutorial para instalação do Vagrant e utilização da box mas os nomes do comando vagrant box add estava diferente na configuração do Vagrantfile e fazendo o download da box novamente.