Vagrant 2.3.7 no longer supported by https://vagrantcloud.com

It seems https://vagrantcloud.com no longer supports Vagrant v2.3.7: ~~~ $ vagrant --version Vagrant 2.3.7 $ vagrant init ubuntu/focal64 --box-version 20240821.0.1 $ vagrant up Bringing machine 'default' up with 'virtualbox' provider... ==> default: Box 'ubuntu/focal64' could not be found. Attempting to find and install... default: Box Provider: virtualbox default: Box Version: 20240821.0.1 ==> default: Box file was not detected as metadata. Adding it directly... You specified a box version constraint with a direct box file path. Box version constraints only work with boxes from Vagrant Cloud or a custom box host. Please remove the version constraint and try again. ~~~ ~~~ $ vagrant --version Vagrant 2.4.3 $ vagrant init ubuntu/focal64 --box-version 20240821.0.1 A Vagrantfile has been placed in this directory. You are now ready to vagrant up your first virtual environment! Please read the comments in the Vagrantfile as well as documentation on vagrantup.com for more information on using Vagrant. tange@64g:~/privat/parallel/testsuite/vagrant/ubuntu/focal64$ vagrant up Bringing machine 'default' up with 'virtualbox' provider... ==> default: Box 'ubuntu/focal64' could not be found. Attempting to find and install... default: Box Provider: virtualbox default: Box Version: 20240821.0.1 ==> default: Loading metadata for box 'ubuntu/focal64' default: URL: https://vagrantcloud.com/api/v2/vagrant/ubuntu/focal64 ==> default: Adding box 'ubuntu/focal64' (v20240821.0.1) for provider: virtualbox default: Downloading: https://vagrantcloud.com/ubuntu/boxes/focal64/versions/20240821.0.1/providers/virtualbox/unknown/vagrant.box ==> default: Successfully added box 'ubuntu/focal64' (v20240821.0.1) for 'virtualbox'! ==> default: Importing base box 'ubuntu/focal64'... ==> default: Matching MAC address for NAT networking... ==> default: Checking if box 'ubuntu/focal64' version '20240821.0.1' is up to date... ==> default: Setting the name of the VM: focal64_default_1739915511851_19903 ==> default: Fixed port collision for 22 => 2222. Now on port 2200. ==> default: Clearing any previously set network interfaces... ==> default: Preparing network interfaces based on configuration... default: Adapter 1: nat ==> default: Forwarding ports... default: 22 (guest) => 2200 (host) (adapter 1) ==> default: Running 'pre-boot' VM customizations... ==> default: Booting VM... ==> default: Waiting for machine to boot. This may take a few minutes... default: SSH address: 127.0.0.1:2200 default: SSH username: vagrant default: SSH auth method: private key default: Warning: Connection reset. Retrying... default: Warning: Remote connection disconnect. Retrying... default: default: Vagrant insecure key detected. Vagrant will automatically replace default: this with a newly generated keypair for better security. default: default: Inserting generated public key within guest... default: Removing insecure key from the guest if it's present... default: Key inserted! Disconnecting and reconnecting using new SSH key... ==> default: Machine booted and ready! ==> default: Checking for guest additions in VM... default: The guest additions on this VM do not match the installed version of default: VirtualBox! In most cases this is fine, but in rare cases it can default: prevent things such as shared folders from working properly. If you see default: shared folder errors, please make sure the guest additions within the default: virtual machine match the version of VirtualBox you have installed on default: your host and reload your VM. default: default: Guest Additions Version: 6.1.50 default: VirtualBox Version: 7.0 ==> default: Mounting shared folders... default: /home/tange/privat/parallel/testsuite/vagrant/ubuntu/focal64 => /vagrant ~~~ Version 2.4.3 is not under a free license, which limits who can use it. (https://en.wikipedia.org/wiki/Vagrant_%28software%29#License_change) I would like to avoid forcing others to run non-free software, so I would like to stay at version 2.3.7. After creating the box with 2.4.3 (above) it seems I can do: ~~~ $ sudo dpkg -i releases.hashicorp.com/vagrant/2.3.7/vagrant_2.3.7-1_amd64.deb ~~~ So version 2.4.3 downloads something (probably https://vagrantcloud.com/ubuntu/boxes/focal64/versions/20240821.0.1/providers/virtualbox/unknown/vagrant.box) and make it available in a way that 2.3.7 then can use. Can I download the box with wget and pass it to 2.3.7?