coqPackages.atbr: modernize mkCoqDerivation release hash format

2026-06-17 21:33:51 +02:00
parent 731a7b0994
commit bf203cad2a
1 changed files with 1 additions and 1 deletions
@@ -20,7 +20,7 @@ mkCoqDerivation {
      }
    ] null;
  release = {
-    "8.20.0".sha256 = "sha256-Okhtq6Gnq4HA3tEZJvf8JBnmk3OKdm6hC1qINmoShmo=";
+    "8.20.0".hash = "sha256-Okhtq6Gnq4HA3tEZJvf8JBnmk3OKdm6hC1qINmoShmo=";
  };
  releaseRev = v: "v${v}";