Your message dated Thu, 08 Oct 2026 16:36:27 +0000
with message-id <[email protected]>
and subject line Bug#1113791: fixed in vagrant
2.3.7+git20230731.5fc64cde+dfsg-4.1
has caused the Debian Bug report #1113791,
regarding vagrant: Add support for VirtualBox 7.1 and 7.2
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1113791: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1113791
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
From 9bd6ace7424d9fc490d8d0a437e1297443f097d9 Mon Sep 17 00:00:00 2001
From: Guillem Jover <[email protected]>
Date: Tue, 2 Sep 2025 18:34:03 +0200
Subject: [PATCH] Add support for VirtualBox 7.1 and 7.2
The current version of VirtualBox in Debian sid is 7.2.0, which means
vagrant cannot be installed at the same time due to vagrant package
Breaks.
---
...d-support-for-VirtualBox-7.1-and-7.2.patch | 88 +++++++++++++++++++
debian/patches/series | 1 +
2 files changed, 89 insertions(+)
create mode 100644 debian/patches/0014-Add-support-for-VirtualBox-7.1-and-7.2.patch
diff --git a/debian/patches/0014-Add-support-for-VirtualBox-7.1-and-7.2.patch b/debian/patches/0014-Add-support-for-VirtualBox-7.1-and-7.2.patch
new file mode 100644
index 0000000..4209642
--- /dev/null
+++ b/debian/patches/0014-Add-support-for-VirtualBox-7.1-and-7.2.patch
@@ -0,0 +1,88 @@
+From: Guillem Jover <[email protected]>
+Date: Tue, 2 Sep 2025 18:11:58 +0200
+Subject: Add support for VirtualBox 7.1 and 7.2
+
+The current version of VirtualBox in Debian sid is 7.2.0, which means
+vagrant cannot be installed at the same time due to vagrant package
+Breaks.
+---
+ plugins/providers/virtualbox/driver/meta.rb | 2 ++
+ plugins/providers/virtualbox/driver/version_7_1.rb | 17 +++++++++++++++++
+ plugins/providers/virtualbox/driver/version_7_2.rb | 17 +++++++++++++++++
+ plugins/providers/virtualbox/plugin.rb | 2 ++
+ 4 files changed, 38 insertions(+)
+ create mode 100644 plugins/providers/virtualbox/driver/version_7_1.rb
+ create mode 100644 plugins/providers/virtualbox/driver/version_7_2.rb
+
+diff --git a/plugins/providers/virtualbox/driver/meta.rb b/plugins/providers/virtualbox/driver/meta.rb
+index 04c130c..feafdd2 100644
+--- a/plugins/providers/virtualbox/driver/meta.rb
++++ b/plugins/providers/virtualbox/driver/meta.rb
+@@ -66,6 +66,8 @@ module VagrantPlugins
+ "6.0" => Version_6_0,
+ "6.1" => Version_6_1,
+ "7.0" => Version_7_0,
++ "7.1" => Version_7_1,
++ "7.2" => Version_7_2,
+ }
+
+ if @@version.start_with?("4.2.14")
+diff --git a/plugins/providers/virtualbox/driver/version_7_1.rb b/plugins/providers/virtualbox/driver/version_7_1.rb
+new file mode 100644
+index 0000000..7933a0f
+--- /dev/null
++++ b/plugins/providers/virtualbox/driver/version_7_1.rb
+@@ -0,0 +1,17 @@
++require "rexml"
++require File.expand_path("../version_7_0", __FILE__)
++
++module VagrantPlugins
++ module ProviderVirtualBox
++ module Driver
++ # Driver for VirtualBox 7.1.x
++ class Version_7_1 < Version_7_0
++ def initialize(uuid)
++ super
++
++ @logger = Log4r::Logger.new("vagrant::provider::virtualbox_7_1")
++ end
++ end
++ end
++ end
++end
+diff --git a/plugins/providers/virtualbox/driver/version_7_2.rb b/plugins/providers/virtualbox/driver/version_7_2.rb
+new file mode 100644
+index 0000000..bf1fd24
+--- /dev/null
++++ b/plugins/providers/virtualbox/driver/version_7_2.rb
+@@ -0,0 +1,17 @@
++require "rexml"
++require File.expand_path("../version_7_0", __FILE__)
++
++module VagrantPlugins
++ module ProviderVirtualBox
++ module Driver
++ # Driver for VirtualBox 7.2.x
++ class Version_7_2 < Version_7_0
++ def initialize(uuid)
++ super
++
++ @logger = Log4r::Logger.new("vagrant::provider::virtualbox_7_2")
++ end
++ end
++ end
++ end
++end
+diff --git a/plugins/providers/virtualbox/plugin.rb b/plugins/providers/virtualbox/plugin.rb
+index 3b447c5..09c231a 100644
+--- a/plugins/providers/virtualbox/plugin.rb
++++ b/plugins/providers/virtualbox/plugin.rb
+@@ -101,6 +101,8 @@ module VagrantPlugins
+ autoload :Version_6_0, File.expand_path("../driver/version_6_0", __FILE__)
+ autoload :Version_6_1, File.expand_path("../driver/version_6_1", __FILE__)
+ autoload :Version_7_0, File.expand_path("../driver/version_7_0", __FILE__)
++ autoload :Version_7_1, File.expand_path("../driver/version_7_1", __FILE__)
++ autoload :Version_7_2, File.expand_path("../driver/version_7_2", __FILE__)
+ end
+
+ module Model
diff --git a/debian/patches/series b/debian/patches/series
index 56cde4a..cbf9c62 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -11,3 +11,4 @@
0011-Add-newline-at-end-of-private-key.patch
0012-Loosen-dependency-on-ruby.patch
0013-Fix-the-default-vagrant-URL-for-pulling-boxes.patch
+0014-Add-support-for-VirtualBox-7.1-and-7.2.patch
--
2.51.0
--- End Message ---
--- Begin Message ---
Source: vagrant
Source-Version: 2.3.7+git20230731.5fc64cde+dfsg-4.1
Done: Yaroslav Halchenko <[email protected]>
We believe that the bug you reported is fixed in the latest version of
vagrant, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Yaroslav Halchenko <[email protected]> (supplier of updated vagrant package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 28 Sep 2026 11:39:42 -0400
Source: vagrant
Architecture: source
Version: 2.3.7+git20230731.5fc64cde+dfsg-4.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Ruby Team
<[email protected]>
Changed-By: Yaroslav Halchenko <[email protected]>
Closes: 1113791
Changes:
vagrant (2.3.7+git20230731.5fc64cde+dfsg-4.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Add patch: 0014-Add-support-for-VirtualBox-7.1-and-7.2.patch
(Closes: #1113791)
Checksums-Sha1:
025125ab968d6541fa5a8364fae8144ce3b15b26 2828
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.dsc
4f8556e6baae3e065d289e03ba15b117af309406 18272
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.debian.tar.xz
85d9a9fa2e91ce67e65b5f444630c0311d0c3d72 10118
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1_source.buildinfo
Checksums-Sha256:
e55138bda6a5ca05717289606183f08c6e56f2fcb81efb90e293b1e10f2957e0 2828
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.dsc
9b559d6a788ef2fbee32a6d48d2e58d7eebdb5d0b0692c92095e5b1a7c7e62bf 18272
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.debian.tar.xz
65bd7f6384dba5e5aab1e7cdf967eaf7c75791a63a72e60e6da4a0560ae50fa2 10118
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1_source.buildinfo
Files:
aac496d397273a3c7780699daaab1c31 2828 admin optional
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.dsc
b7702358a80ce5f05a8f3e0c1286527a 18272 admin optional
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1.debian.tar.xz
9bb8dbfe9ebbef2275fa2ce9fdae7fda 10118 admin optional
vagrant_2.3.7+git20230731.5fc64cde+dfsg-4.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEExbkF8OjZ/ZZo/zZvot4jUGLaM/oFAmq6i2gACgkQot4jUGLa
M/qJYBAAmGQhAu0bAFVBRwFoin/EJgt1H/T5VSM6UVuNBPnF2U6+F/o78m7fnKKI
oHwS2+/vT8c9/93jtP84UJ3zD099vsXbLFEobmTZQnLYohOloXL+C5+DeDWNjG38
gGHzto+nO7G09G8UZJI5teY4kWdR4Vff/Os/IBMgx4F4UUuzgUiiB9B6AM2pnD1R
GivbLTmPDCm8HwWXJvLTwVbqWOg8mJe9IBdFIAsEWmP+a8CycQr1X800Vo0tKr/w
+xZ2qpEyWsZdH7P2QCfna8oO/IylgitwrfeCxeUrf1e8FMhD72LpZ/4w5II+hu+r
DGyNUVamS0ozvFHMxmX4m2rokG12BOwPH0Njk47w1LLPc9B1aqIamDsG9kVlrRl5
BdOOm55peK+yc/pTCgL7ddYBqB8qYQlQJ90HMRrL+0GFVngAf6IgXOSG37GQPxzY
neyEwZSztQgkbVm3u85tP2268imXo9umwmnzHsufjryf1gQz8hBR/2x10fqCZSdp
Bo1N1BSvsCjCp1LnJvQm1t0rTiRl8InGqrHuj2dE5E6+dr6+Y0UegNagzltL2h7v
i31TWj7tqU1g59dHXOTdjT9kxuhUohB/+raEfS01DD6Z2/8H4c22yQGVAzR/z9M1
G7GtegAd8fJzGwXxX8UmSHa8LzYGgPUTHkFcqx01ZmlPEDXqB6E=
=Kxea
-----END PGP SIGNATURE-----
pgpONy6VZNaxm.pgp
Description: PGP signature
--- End Message ---
