From 829bbb6005a033fe295dd679aaffba67bdfd575a Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 24 Aug 2026 16:38:56 +0200 Subject: [PATCH] rocqPackages.ITree: enable for Rocq 9.2 --- pkgs/development/rocq-modules/ITree/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/rocq-modules/ITree/default.nix b/pkgs/development/rocq-modules/ITree/default.nix index 610d33115a8e..8f830bba2c94 100644 --- a/pkgs/development/rocq-modules/ITree/default.nix +++ b/pkgs/development/rocq-modules/ITree/default.nix @@ -17,7 +17,7 @@ mkCoqDerivation { in with lib.versions; lib.switch coq.version [ - (case (range "8.14" "9.1") "5.2.1") + (case (range "8.14" "9.2") "5.2.1") (case (isEq "8.13") "5.2.0+20241009") (case (range "8.10" "8.16") "4.0.0") ] null;