Vagrant up error: bad box file

[senrabc]

Following instructions here:

http://redi.readthedocs.io/en/latest/test_sample_project_using_vagrant.html

$ vagrant up
Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'redcap-debian-70rc1' could not be found. Attempting to find and install...
default: Box Provider: virtualbox
default: Box Version: >= 0
==> default: Box file was not detected as metadata. Adding it directly...
==> default: Adding box 'redcap-debian-70rc1' (v0) for provider: virtualbox
default: Downloading: http://puppet-vagrant-boxes.puppetlabs.com/debian-70rc1-x64-vbox4210.box
An error occurred while downloading the remote file. The error
message, if any, is reproduced below. Please fix this error and try
again.

[senrabc]

issue with ssl/curl and mac. resolution here:
twobitcircus/rpi-build-and-boot#25

Not fixed. May need to use different box file and a newer version of debian