coqPackages.coqfmt: modernize mkCoqDerivation release hash format

2026-06-17 21:33:58 +02:00
parent a4b34ff8c3
commit 4541dd71ed
1 changed files with 1 additions and 1 deletions
@@ -17,7 +17,7 @@ mkCoqDerivation rec {

  release."master" = {
    rev = "c26ce64d6ad1a1c3cafee38ab4889ad3b68a5c33";
-    sha256 = "sha256-4Q0z/KUHrJZKeKJDqa9mkxfy9LrGh2xPt561muUFYAY=";
+    hash = "sha256-4Q0z/KUHrJZKeKJDqa9mkxfy9LrGh2xPt561muUFYAY=";
  };
  namePrefix = [ ];