diff --git a/pkgs/development/coq-modules/coq-tactical/default.nix b/pkgs/development/coq-modules/coq-tactical/default.nix
index 55254fc86a3e..b06b666f8134 100644
--- a/pkgs/development/coq-modules/coq-tactical/default.nix
+++ b/pkgs/development/coq-modules/coq-tactical/default.nix
@@ -22,7 +22,7 @@ mkCoqDerivation {
 
   release."2022-02-15" = {
     rev = "7c26f9a017395c240845184dfed23489d29dbae5";
-    sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
+    hash = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
   };
 
   installPhase = ''