From 64e11a87e2b8503714a0a9783824928bb5f5e794 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 15 Oct 2025 17:20:50 +0100
Subject: [PATCH] Add xen

---
 fedora-packages.gl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fedora-packages.gl b/fedora-packages.gl
index 0314661..797386a 100644
--- a/fedora-packages.gl
+++ b/fedora-packages.gl
@@ -200,6 +200,7 @@ let packages = [
     "virt-top",
     "virt-v2v",
     "why3",
+    "xen",
     "z3",
     "zenon",
 
-- 
1.8.3.1