diff --git a/pkgs/by-name/wh/why3find/package.nix b/pkgs/by-name/wh/why3find/package.nix
index 8382d6c93395..e9761f556ee8 100644
--- a/pkgs/by-name/wh/why3find/package.nix
+++ b/pkgs/by-name/wh/why3find/package.nix
@@ -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 [