From f7e8462bd0cd60ed6326c209e446a0f1f1bba988 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sun, 8 Oct 2023 21:53:32 +0200
Subject: [PATCH] vagrant: use generic/debian9 box, fixes #7579

the debian/stretch64 was broken and never fixed.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 767ff9c5b..edc2150cd 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -427,7 +427,7 @@ Vagrant.configure(2) do |config|
   end
 
   config.vm.define "stretch64" do |b|
-    b.vm.box = "debian/stretch64"
+    b.vm.box = "generic/debian9"
     b.vm.provider :virtualbox do |v|
       v.memory = 1024 + $wmem
     end