coqPackages.wasmcert: modernize mkCoqDerivation release hash format

2026-06-17 22:37:03 +02:00
parent 3205ae2114
commit a1095db5c9
1 changed files with 2 additions and 2 deletions
@@ -34,8 +34,8 @@ mkCoqDerivation {
      ]
      null;

-  release."2.1.0".sha256 = "sha256-k094mxDLLeelYP+ABm+dm6Y5YrachrbhNeZhfwLHNRo=";
-  release."2.2.0".sha256 = "sha256-GsfNpXgCG6XGqDE+bekzwZsWIHyjDTzWRuNnjCtS/88=";
+  release."2.1.0".hash = "sha256-k094mxDLLeelYP+ABm+dm6Y5YrachrbhNeZhfwLHNRo=";
+  release."2.2.0".hash = "sha256-GsfNpXgCG6XGqDE+bekzwZsWIHyjDTzWRuNnjCtS/88=";

  mlPlugin = true;
  useDune = true;