[18:53:27] <bb1b>	 hello\
[18:54:14] <bb1b>	 i'm having trouble installing mediawiki with vagrant 
[18:56:08] <bb1b>	 following the instructions on https://www.mediawiki.org/wiki/MediaWiki-Vagrant#Quick_start I got an error saying "default: Box 'debian/contrib-stretch64' could not be found. Attempting to find and install..."
[18:57:28] <bb1b>	 and then "The box 'debian/contrib-stretch64' could not be found or
[18:58:37] <bb1b>	 this error message was given after completing the "vagrant up" command
[19:02:10] <bb1b>	 I was trying this on Win 10, through portable git though not installing it... but still
[19:05:39] <bb1b>	 hi again... got disconnected
[19:08:38] <bb1b>	 as I said I have trouble installing mediawiki with vagrant: following the instructions from https://www.mediawiki.org/wiki/MediaWiki-Vagrant#Quick_start and after "vagrant up" command I got the error msg "The box 'debian/contrib-stretch64' could not be found or
[19:10:17] <bb1b>	 I am not sure if vagrant or VirtualBox by themselves include debian, but I am sure I haven't issued any commands on copying it, installing, cloning, or similar.
[19:10:45] <bb1b>	 Am I missing something? Or is the manual incomplete? Does anyone know?
[20:01:49] <Reedy>	 https://app.vagrantup.com/debian/boxes/contrib-stretch64
[20:03:09] <Reedy>	 bb1b: Usually, as part of the `vagrant up` it will download the box