Remove unecessary smtml pin

formalsec · Sep 21, 2024 · 1208685 · 1208685
1 parent c0b323c
commit 1208685
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/explode_js.opam b/explode_js.opam
@@ -39,6 +39,3 @@ build: [
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/explode-js/explode-js.git"
-pin-depends: [
-  ["smtml.dev" "git+https://github.com/formalsec/smtml.git#d1668dbfcdcf78c076d5a3665ae051bfa348873a"]
-]
diff --git a/explode_js.opam.template b/explode_js.opam.template