From 2a0f5f58155b157a4a4b361f2fb73d533beaee0b Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Wed, 5 Feb 2025 16:26:46 +0000 Subject: [PATCH] Bump smtml 0.4.1 -> 0.5.0 --- ecma-sl.opam | 2 +- ecma-sl.opam.template | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ecma-sl.opam b/ecma-sl.opam index 663c141bc5..e94212033d 100644 --- 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 index dc9e7aa6b2..7e6b9be78e 100644 --- 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" ] ]