X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=3460aa70e63aa4a4c9f8c578de051c2ed333ac39;hb=8d3e0a71b3713d46aba432684f3af0e3f966448b;hp=58aa91914240b3f5db02d5ab613557a3de979678;hpb=cc59b66914c47558b8510fbf41c84909c8990497;p=fedora-ocaml-rebuild.git

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