From 8d3e0a71b3713d46aba432684f3af0e3f966448b Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 5 Jul 2023 09:55:02 +0100
Subject: [PATCH] Add ocaml-ppx-{globalize,stable-witness}

---
 Goalfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Goalfile b/Goalfile
index 58aa919..3460aa7 100644
--- a/Goalfile
+++ b/Goalfile
@@ -139,6 +139,7 @@ let packages = [
     "ocaml-ppx-enumerate",
     "ocaml-ppx-expect",
     "ocaml-ppx-fields-conv",
+    "ocaml-ppx-globalize",
     "ocaml-ppx-hash",
     "ocaml-ppx-here",
     "ocaml-ppx-import",
@@ -148,6 +149,7 @@ let packages = [
     "ocaml-ppxlib",
     "ocaml-ppx-optcomp",
     "ocaml-ppx-sexp-conv",
+    "ocaml-ppx-stable-witness",
     "ocaml-ppx-variants-conv",
     "ocaml-psmt2-frontend",
     "ocaml-ptmap",
-- 
1.8.3.1