vagrant up not working

[nvzard]

After installing virtuabox and vagrant using

sudo apt-get install virtualbox
sudo apt-get install vagrant

When I do vagrant up I get

No usable default provider could be found for your system.

Vagrant relies on interactions with 3rd party systems, known as
"providers", to provide Vagrant with resources to run development
environments. Examples are VirtualBox, VMware, Hyper-V.

The easiest solution to this message is to install VirtualBox, which
is available for free on all major platforms.

If you believe you already have a provider available, make sure it
is properly installed and configured. You can see more details about
why a particular provider isn't working by forcing usage with
`vagrant up --provider=PROVIDER`, which should give you a more specific
error message for that particular provider.

Output of vagrant up --provider virtualbox is:

The provider 'virtualbox' that was requested to back the machine
'default' is reporting that it isn't usable on this system. The
reason is shown below:

Vagrant has detected that you have a version of VirtualBox installed
that is not supported by this version of Vagrant. Please install one of
the supported versions listed below to use Vagrant:

4.0, 4.1, 4.2, 4.3, 5.0

A Vagrant update may also be available that adds support for the version
you specified. Please check www.vagrantup.com/downloads.html to download
the latest version.

Output of vagrant --version is:

Vagrant 1.8.1

Output of vboxmanage --version is:

5.1.34_Ubuntur121010

I am using Linux Mint 18.3 Sylvia

[nvzard]

I am following the instructions from https://github.com/omegaup/omegaup/wiki/C%C3%B3mo-empezar-a-desarrollar to setup the dev env again. I was able to successfully setup env some time ago but then I removed it completely and trying to re-install.

[lhchavez]

Can you try uninstalling Vagrant and downloading the .deb file from www.vagrantup.com/downloads.html and reinstalling it from there? iirc version 2 added support for VirtualBox 5.1

[lhchavez]

Closing since the consensus on Slack was also to manually install the .deb file. Consider filing a bug against Linux Mint since it's clearly a versioning error on their end.