From 208ccfbb64858a245ac2db59d11feaaf66e0fadc Mon Sep 17 00:00:00 2001
From: Gerasimos Chourdakis <chourdak@in.tum.de>
Date: Tue, 23 Apr 2024 22:33:50 +0200
Subject: [PATCH] Fix version

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 3d1aed1..c3cc2ae 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -7,7 +7,7 @@ Vagrant.configure("2") do |config|
   # However, it does not build: https://github.com/precice/vm/issues/83
   # config.vm.box = "generic/ubuntu2004"
   config.vm.box = "bento/ubuntu-20.04"
-  config.vm.box_version = "v202309.09.0"
+  config.vm.box_version = "202309.09.0"
 
   # We don't want the box to automatically update every time it starts.
   # We can instead handle updates internally, without destroying the machine.