diff --git a/pkgs/development/ocaml-modules/smtml/default.nix b/pkgs/development/ocaml-modules/smtml/default.nix index 2530db31841f..3ecb5474ddd0 100644 --- a/pkgs/development/ocaml-modules/smtml/default.nix +++ b/pkgs/development/ocaml-modules/smtml/default.nix @@ -21,7 +21,6 @@ ocaml_intrinsics ? null, prelude, ppx_enumerate, - rresult, scfg, yojson, z3, @@ -32,13 +31,13 @@ buildDunePackage (finalAttrs: { pname = "smtml"; - version = "0.26.0"; + version = "0.27.0"; src = fetchFromGitHub { owner = "formalsec"; repo = "smtml"; tag = "v${finalAttrs.version}"; - hash = "sha256-7kshzfxWpOx2LyGOs/j/eaTB4b4ba4sp5n4yztGfFV4="; + hash = "sha256-YyzrPs6ykpUzHHZ63y3c82LG9lv0Pf4i01w5GWadumU="; }; minimalOCamlVersion = "4.14"; @@ -68,7 +67,6 @@ buildDunePackage (finalAttrs: { ocaml_intrinsics ppx_enumerate prelude - rresult scfg yojson z3