coqPackages.CoqMatrix: modernize mkCoqDerivation release hash format

2026-06-17 21:53:12 +02:00
parent 217f63ec6b
commit 4f0f37bcbc
1 changed files with 1 additions and 1 deletions
@@ -17,7 +17,7 @@ mkCoqDerivation {
      }
    ] null;
  release = {
-    "1.0.6".sha256 = "sha256-XsM3fSstvB6GE5OqT7CFro+RWiYEgJsoQ5gXd74VaK0=";
+    "1.0.6".hash = "sha256-XsM3fSstvB6GE5OqT7CFro+RWiYEgJsoQ5gXd74VaK0=";
  };
  meta = {
    homepage = "https://github.com/zhengpushi/CoqMatrix";