#1113791 vagrant: Add support for VirtualBox 7.1 and 7.2

Package:
vagrant
Source:
vagrant
Description:
Tool for building and distributing virtualized development environments
Submitter:
Guillem Jover
Date:
2025-09-02 16:57:03 UTC
Severity:
normal
Tags:
#1113791#5
Date:
2025-09-02 16:54:41 UTC
From:
To:
Hi!

The current version of VirtualBox in Debian sid is 7.2.0, which means
vagrant cannot be installed at the same time due to the vagrant package
Breaks.

The attached patch builds and works for me. And while at work we are
unfortunately still currently relying on vagrant and virtualbox, our
plan is to move away into incus, but that will take some time, so
having functional vagrant for now would be very helpful.

Thanks,
Guillem