coqPackages.metalib: modernize mkCoqDerivation release hash format

2026-06-17 22:36:59 +02:00
parent 079cac3184
commit 08dea0e977
1 changed files with 2 additions and 2 deletions
@@ -22,8 +22,8 @@
      }
    ] null;
  releaseRev = v: "coq${v}";
-  release."8.15".sha256 = "0wbp058zwa4bkdjj38aysy2g1avf9nrh8q23a3dil0q00qczi616";
-  release."8.10".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs";
+  release."8.15".hash = "sha256:0wbp058zwa4bkdjj38aysy2g1avf9nrh8q23a3dil0q00qczi616";
+  release."8.10".hash = "sha256:0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs";

  meta = {
    license = lib.licenses.mit;