Unverified Commit 82adf3f1 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

ocamlPackages.smtml: 0.25.0 → 0.26.0 (#514528)

parents f9d28cc5 e5791639

pkgs/development/ocaml-modules/smtml/default.nix

+4 −2
Original line number Diff line number Diff line
@@ -21,6 +21,7 @@ 
  ocaml_intrinsics ? null,

  prelude,

  ppx_enumerate,

  rresult,

  scfg,

  yojson,

  z3,
@@ -31,13 +32,13 @@ 


buildDunePackage (finalAttrs: {

  pname = "smtml";

  version = "0.25.0";

  version = "0.26.0";



  src = fetchFromGitHub {

    owner = "formalsec";

    repo = "smtml";

    tag = "v${finalAttrs.version}";

    hash = "sha256-dWZrN0hTxxqGC2queit91GDuw/x5fyRPwHbmKxkvc/w=";

    hash = "sha256-7kshzfxWpOx2LyGOs/j/eaTB4b4ba4sp5n4yztGfFV4=";

  };



  minimalOCamlVersion = "4.14";
@@ -67,6 +68,7 @@ buildDunePackage (finalAttrs: { 
    ocaml_intrinsics

    ppx_enumerate

    prelude

    rresult

    scfg

    yojson

    z3