why3find: init at 1.2.0

2025-09-09 10:25:10 +02:00
parent 95f38dfe46
commit 38bd2c8c2a
1 changed files with 32 additions and 0 deletions
@@ -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 ];
+  };
+}