Add missing dune-glob dependency

Author: filipeom

dune-project

@@ -49,6 +49,8 @@
   (cmdliner
    (>= "1.2.0"))
   dune
+  (dune-glob
+   :with-test)
   (dolmen
    (= "0.10"))
   (dolmen_type

smtml.opam

@@ -19,6 +19,7 @@ bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
   "cmdliner" {>= "1.2.0"}
   "dune" {>= "3.10"}
+  "dune-glob" {with-test}
   "dolmen" {= "0.10"}
   "dolmen_type" {= "0.10"}
   "dolmen_model" {= "0.10"}