update owi, ocamlPackages.{smtml,symex} (#505043)

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

@@ -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

@@ -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

@@ -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 = [