why3find: 1.2.0 -> 1.3.0

2026-01-20 00:13:14 +00:00
parent 2e606f2c97
commit 620dbdbdc5
1 changed files with 2 additions and 2 deletions
@@ -10,14 +10,14 @@

 ocamlPackages.buildDunePackage (finalAttrs: {
  pname = "why3find";
-  version = "1.2.0";
+  version = "1.3.0";

  src = fetchFromGitLab {
    domain = "git.frama-c.com";
    owner = "pub";
    repo = "why3find";
    tag = finalAttrs.version;
-    hash = "sha256-fqB6VrJ79E6KSAnq8TZGNFlvWbDaBNh+gbuRf0CFFy8=";
+    hash = "sha256-G1Cmmo83Le1WRBTeit2NvyXvWpw0yJtd2kRiGMKSPrs=";
  };

  nativeBuildInputs = lib.optionals stdenv.hostPlatform.isDarwin [