From 99495cb52f97f3c9f181e7f9eec44f1e556640b3 Mon Sep 17 00:00:00 2001
From: Gabriele Roeger <gabriele.roeger@unibas.ch>
Date: Tue, 8 Oct 2024 14:19:33 +0200
Subject: [PATCH] [trivial] Use ubuntu jammy in vagrant file.

---
 misc/releases/templates/_Vagrantfile.tpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/releases/templates/_Vagrantfile.tpl b/misc/releases/templates/_Vagrantfile.tpl
index 3fb8b0f2b6..ad0ac2a6a3 100644
--- a/misc/releases/templates/_Vagrantfile.tpl
+++ b/misc/releases/templates/_Vagrantfile.tpl
@@ -11,7 +11,7 @@ Vagrant.configure("2") do |config|
     v.memory = 2048
   end
 
-  config.vm.box = "ubuntu/noble64"
+  config.vm.box = "ubuntu/jammy64"
 
   # To compile the planner with support for CPLEX, download the 64-bit Linux
   # installer of CPLEX 22.1.1 and set the environment variable