Unverified Commit f3f03a17 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

ocamlPackages.smtml: 0.24.0 -> 0.25.0 (#510982)

parents 437155e9 1f16653b

pkgs/by-name/ow/owi/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -15,14 +15,14 @@ let 
in

ocamlPackages.buildDunePackage {

  pname = "owi";

  version = "0.2-unstable-2026-04-08";

  version = "0.2-unstable-2026-04-12";



  src = fetchFromGitHub {

    owner = "ocamlpro";

    repo = "owi";

    rev = "8357ccd5a43d1e2f9d5648a96286c6b8e6b59b37";

    rev = "cd54ee715561dc40c9338a16d37eabaa65cbbeaf";

    fetchSubmodules = true;

    hash = "sha256-4QOUX8iwn826g2rB2fwsFZhrzViZsKONXa5yxCFPT/8=";

    hash = "sha256-ET/UHwQ0wwXtP1CzAksPi7BRJXyefE4qvi+2r1vl3OI=";

  };



  nativeBuildInputs = with ocamlPackages; [

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

+6 −2
Original line number Diff line number Diff line
@@ -5,6 +5,7 @@ 
  ocaml,

  fetchFromGitHub,

  menhir,

  darwin,

  bitwuzla-cxx,

  bos,

  cmdliner,
@@ -30,19 +31,22 @@ 


buildDunePackage (finalAttrs: {

  pname = "smtml";

  version = "0.24.0";

  version = "0.25.0";



  src = fetchFromGitHub {

    owner = "formalsec";

    repo = "smtml";

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

    hash = "sha256-9499a8ngL8rTeyhWumn08ZjymD8zOMyyG0ZgjVITSPQ=";

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

  };



  minimalOCamlVersion = "4.14";



  nativeBuildInputs = [

    menhir

  ]

  ++ lib.optionals stdenv.hostPlatform.isDarwin [

    darwin.sigtool

  ];



  buildInputs = [