coqPackages_9_1.dpdgraph: init at 1.0+9.1 (#477434)

2026-01-06 15:49:04 +00:00
parent bb8c792b74 d825192c3e
commit 1fb7dba0e0
1 changed files with 2 additions and 0 deletions
@@ -19,6 +19,7 @@ in
      case = case: out: { inherit case out; };
    in
    lib.switch coq.coq-version [
+      (case "9.1" "1.0+9.1")
      (case "9.0" "1.0+9.0")
      (case "8.20" "1.0+8.20")
      (case "8.19" "1.0+8.19")
@@ -36,6 +37,7 @@ in
      (case "8.7" "0.6.2")
    ] null;

+  release."1.0+9.1".hash = "sha256-6bQsXcY8ouxP7pfJrT3leD9kuhNjpskJKpTv6oHZaTE=";
  release."1.0+9.0".sha256 = "sha256-gXy70fj2bAkE0did4gI0wTyWp9AIvOo4xTTihaFIpZ0=";
  release."1.0+8.20".sha256 = "sha256-szfH/OksCH3SCbcFjwEvLwHE5avmHp1vYiJM6KAXFqs=";
  release."1.0+8.19".sha256 = "sha256-L1vjEydYiwDFTXES3sgfdaO/D50AbTJKBXUKUCgbpto=";