Error while setting up Vagrant box for Bahmni using vagrant up

Are you running Vagrant on Windows 10? If yes, please read this discussion: Unable to download Vagrant box - cannot find box error (windows 10) A solution is mentioned at the bottom of the discussion.