coqPackages.heq: modernize mkCoqDerivation release hash format

pkgs/development/coq-modules/heq/default.nix

@@ -12,13 +12,13 @@ let
       rev,
       repo,
       owner,
-      sha256,
+      hash,
       domain,
       ...
     }:
     fetchzip {
       url = "https://${domain}/${owner}/${repo}/download/${repo}-${rev}.zip";
-      inherit sha256;
+      inherit hash;
     };
 in
 mkCoqDerivation {
@@ -28,7 +28,7 @@ mkCoqDerivation {
   domain = "sf.snu.ac.kr";
   inherit version fetcher;
   defaultVersion = if lib.versions.isLt "8.8" coq.coq-version then "0.92" else null;
-  release."0.92".sha256 = "0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74";
+  release."0.92".hash = "sha256:0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74";
 
   mlPlugin = true;
   preBuild = "cd src";