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
