Commit 281af84a authored by redianthus's avatar redianthus
Browse files

owi: 0.2-unstable-2026-01-29 -> 0.2-unstable-2026-03-16 

ocamlPackages.symex: 0.1 -> 0.2
ocamlPackages.smtml: 0.20.0 -> 0.24.0
parent f1ec992b

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

+11 −7
Original line number Diff line number Diff line
@@ -11,18 +11,18 @@ 
}:



let

  ocamlPackages = ocaml-ng.ocamlPackages_5_3;

  ocamlPackages = ocaml-ng.ocamlPackages_5_4;

in

ocamlPackages.buildDunePackage {

  pname = "owi";

  version = "0.2-unstable-2026-01-29";

  version = "0.2-unstable-2026-03-16";



  src = fetchFromGitHub {

    owner = "ocamlpro";

    repo = "owi";

    rev = "07b96ef58021810352caceffbadf2d614785bb0d";

    rev = "7fb7af27025501c732d8dda903865b47bc5d4901";

    fetchSubmodules = true;

    hash = "sha256-vVTAoPWfjbX4c3AXxh4C2igig5LiMLZMpLmLSjLcxgo=";

    hash = "sha256-aRNJiW6UTcpJU3fIcEQB3gujmAxsp2dwR1hFeWJrhzs=";

  };



  nativeBuildInputs = with ocamlPackages; [
@@ -39,11 +39,15 @@ ocamlPackages.buildDunePackage { 
  ];



  buildInputs = with ocamlPackages; [

    dune-build-info

    dune-site

  ];



  propagatedBuildInputs = with ocamlPackages; [

    bos

    cmdliner

    digestif

    dune-build-info

    dune-site

    domainpc

    menhirLib

    ocaml_intrinsics

    ocamlgraph
@@ -52,11 +56,11 @@ ocamlPackages.buildDunePackage { 
    scfg

    sedlex

    smtml

    symex

    synchronizer

    uutf

    xmlm

    yojson

    z3

  ];



  postInstall = ''

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

+6 −2
Original line number Diff line number Diff line
@@ -11,6 +11,7 @@ 
  dolmen_model,

  dolmen_type,

  dune-build-info,

  dune-site,

  fpath,

  hc,

  menhirLib,
@@ -18,6 +19,7 @@ 
  # fix eval on legacy ocaml versions

  ocaml_intrinsics ? null,

  prelude,

  ppx_enumerate,

  scfg,

  yojson,

  z3,
@@ -28,13 +30,13 @@ 


buildDunePackage (finalAttrs: {

  pname = "smtml";

  version = "0.20.0";

  version = "0.24.0";



  src = fetchFromGitHub {

    owner = "formalsec";

    repo = "smtml";

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

    hash = "sha256-VnkF+bZXeqaj9LSpyzqH5AM9EQsrW4Rlj5kvyTfYTKE=";

    hash = "sha256-9499a8ngL8rTeyhWumn08ZjymD8zOMyyG0ZgjVITSPQ=";

  };



  minimalOCamlVersion = "4.14";
@@ -45,6 +47,7 @@ buildDunePackage (finalAttrs: { 


  buildInputs = [

    dune-build-info

    dune-site

  ];



  propagatedBuildInputs = [
@@ -58,6 +61,7 @@ buildDunePackage (finalAttrs: { 
    menhirLib

    mtime

    ocaml_intrinsics

    ppx_enumerate

    prelude

    scfg

    yojson

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

+2 −2
Original line number Diff line number Diff line
@@ -9,13 +9,13 @@ 


buildDunePackage (finalAttrs: {

  pname = "symex";

  version = "0.1";

  version = "0.2";



  src = fetchFromGitHub {

    owner = "ocamlpro";

    repo = "symex";

    tag = finalAttrs.version;

    hash = "sha256-jKwFtxVcBD8Y1bfKRB8Z/MSeQLQWKvk00i8HqodkBbM=";

    hash = "sha256-KX+OHiCsAHEw0kBWLUDVakIcshUNXLYjm2f2le75Mj8=";

  };



  propagatedBuildInputs = [