From 27ae6971fd2a9f2a46538ad5833b123ae52481ca Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Fri, 8 Aug 2025 21:29:39 +0200
Subject: [PATCH] vagrant: use Python 3.11.13

---
 Vagrantfile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index bf8eed59d..c70726db7 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -167,7 +167,7 @@ end
 def install_pythons(boxname)
   return <<-EOF
     . ~/.bash_profile
-    pyenv install 3.11.12  # tests, binary build
+    pyenv install 3.11.13  # tests, binary build
     pyenv rehash
   EOF
 end
@@ -185,8 +185,8 @@ def build_pyenv_venv(boxname)
     . ~/.bash_profile
     cd /vagrant/borg
     # use the latest 3.11 release
-    pyenv global 3.11.12
-    pyenv virtualenv 3.11.12 borg-env
+    pyenv global 3.11.13
+    pyenv virtualenv 3.11.13 borg-env
     ln -s ~/.pyenv/versions/borg-env .
   EOF
 end
@@ -232,8 +232,8 @@ def run_tests(boxname, skip_env)
     . ../borg-env/bin/activate
     if which pyenv 2> /dev/null; then
       # for testing, use the earliest point releases of the supported python versions:
-      pyenv global 3.11.12
-      pyenv local 3.11.12
+      pyenv global 3.11.13
+      pyenv local 3.11.13
     fi
     # otherwise: just use the system python
     # avoid that git complains about dubious ownership if we use fakeroot: