The suggested workaround, if vagrant up does not download the box file, is to symlink the system curl: sudo ln -nsf /usr/bin/curl /opt/vagrant/embedded/bin/curl. Note that Vagrant 1.8.7 for OSX has a bug with the packaged curl binary. Additionally it contains an installation of Kodi that can be used for add-on development, but more on that in a later post.
Kodi-dev is a Vagrant project that will create an Arch linux Virtual Machine (VM) with all the required tools installed. OSX users can get around this limitation by using Vagrant, VirtualBox and the VirtualBox Extension Pack.
The instructions for installing Arch linux on a Raspberry Pi relies on linux command line tools.