From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 15 Oct 2025 16:20:50 +0000 (+0100)
Subject: Add xen
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=64e11a87e2b8503714a0a9783824928bb5f5e794;p=fedora-ocaml-rebuild.git

Add xen
---

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",