hmm, OK, so this is actually getting generated by Vagrant, I just copied the URL it was trying. I’ll have to see whats involved in making that change. Do we know for sure if current did infact get nuked today?
It did, and it was a bug in Vagrant that it defaults to using the current channel. This will be fixed in the next release of Vagrant but for now just specify the stable channel in your Vagrantfile.