From 38bd2c8c2a3917bc6fb375c3e8c3098226567dd0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 2 Sep 2025 07:45:01 +0200
Subject: [PATCH] why3find: init at 1.2.0

---
 pkgs/by-name/wh/why3find/package.nix | 32 ++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 pkgs/by-name/wh/why3find/package.nix

diff --git a/pkgs/by-name/wh/why3find/package.nix b/pkgs/by-name/wh/why3find/package.nix
new file mode 100644
index 000000000000..95458e0deb5b
--- /dev/null
+++ b/pkgs/by-name/wh/why3find/package.nix
@@ -0,0 +1,32 @@
+{
+  lib,
+  fetchurl,
+  ocamlPackages,
+  why3,
+}:
+
+with ocamlPackages;
+buildDunePackage {
+  pname = "why3find";
+  version = "1.2.0";
+
+  src = fetchurl {
+    url = "https://git.frama-c.com/-/project/1056/uploads/043312a7a70961338479016ac535c706/why3find-1.2.0.tbz";
+    hash = "sha256-eslkMBo0i0+Oy8jW9eRNuyGXuwkV6eeYcxZm5MfgA6w=";
+  };
+
+  propagatedBuildInputs = [
+    dune-site
+    terminal_size
+    why3
+    yojson
+    zmq
+  ];
+
+  meta = {
+    description = "Why3 Package Manager";
+    homepage = "https://git.frama-c.com/pub/why3find";
+    license = lib.licenses.lgpl21Only;
+    maintainers = [ lib.maintainers.vbgl ];
+  };
+}