Add ocaml-ppx-{globalize,stable-witness}
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 5 Jul 2023 08:55:02 +0000 (09:55 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 5 Jul 2023 08:55:02 +0000 (09:55 +0100)
Goalfile

index 58aa919..3460aa7 100644 (file)
--- 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",