Update smtml library 0.4.1 -> 0.6.0

formalsec · Mar 6, 2025 · 73721bd · 73721bd
1 parent 120e545
commit 73721bd
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 8 deletions.
diff --git a/dune-project b/dune-project
@@ -46,7 +46,7 @@
   yojson
   conf-npm
   (smtml
-   (>= "0.4.1"))
+   (>= "0.6.0"))
   ppx_import
   ppx_deriving
   (mdx :with-test)

diff --git a/ecma-sl.opam b/ecma-sl.opam
@@ -29,7 +29,7 @@ depends: [
   "tls-lwt"
   "yojson"
   "conf-npm"
-  "smtml" {>= "0.4.1"}
+  "smtml" {>= "0.6.0"}
   "ppx_import"
   "ppx_deriving"
   "mdx" {with-test}
@@ -55,6 +55,3 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/formalsec/ECMA-SL.git"
-pin-depends: [
-  [ "smtml.0.5.0" "git+https://github.com/formalsec/smtml.git#54beae212aaac790a51707109e7ea7bc5dd1ee53" ]
-]
diff --git a/ecma-sl.opam.template b/ecma-sl.opam.template