[DRE-maint] Bug#1113791: vagrant: Add support for VirtualBox 7.1 and 7.2

[Guillem Jover]

Package: vagrant
Version: 2.3.7+git20230731.5fc64cde+dfsg-4
Severity: important
Tags: patch

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-support-for-VirtualBox-7.1-and-7.2.patch
Type: text/x-diff
Size: 4556 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-ruby-extras-maintainers/attachments/20250902/a29de548/attachment.patch>