From 9bd6ace7424d9fc490d8d0a437e1297443f097d9 Mon Sep 17 00:00:00 2001
From: Guillem Jover <gjover@sipwise.com>
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 <gjover@sipwise.com>
+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