Bump smtml 0.4.1 -> 0.5.0

formalsec · Feb 5, 2025 · 2a0f5f5 · 2a0f5f5
1 parent 42f753c
commit 2a0f5f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ecma-sl.opam b/ecma-sl.opam
@@ -56,5 +56,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/formalsec/ECMA-SL.git"
 pin-depends: [
-  [ "smtml.0.4.1" "git+https://github.com/formalsec/smtml.git#807ca82df56183920e2ed5a6e968a98330e68c33" ]
+  [ "smtml.0.5.0" "git+https://github.com/formalsec/smtml.git#5d3459acb3def2eb851422a6febb7cbf29a9087e" ]
 ]
diff --git a/ecma-sl.opam.template b/ecma-sl.opam.template
@@ -1,3 +1,3 @@
 pin-depends: [
-  [ "smtml.0.4.1" "git+https://github.com/formalsec/smtml.git#807ca82df56183920e2ed5a6e968a98330e68c33" ]
+  [ "smtml.0.5.0" "git+https://github.com/formalsec/smtml.git#5d3459acb3def2eb851422a6febb7cbf29a9087e" ]
 ]