From 90f30d036c72c63742934d87eb18fbcf7eb8fb02 Mon Sep 17 00:00:00 2001 From: Arthur Azevedo de Amorim Date: Tue, 12 May 2026 00:21:06 -0400 Subject: [PATCH] coqPackages.deriving: 0.2.2 -> 0.2.3 Co-Authored-By: Claude Opus 4.7 (1M context) --- pkgs/development/coq-modules/deriving/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/coq-modules/deriving/default.nix b/pkgs/development/coq-modules/deriving/default.nix index 043005105356..bc8176069916 100644 --- a/pkgs/development/coq-modules/deriving/default.nix +++ b/pkgs/development/coq-modules/deriving/default.nix @@ -26,6 +26,7 @@ mkCoqDerivation { lib.switch [ coq.coq-version ssreflect.version ] [ + (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.3") (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.2") (case (range "8.17" "9.0") (range "2.0.0" "2.3.0") "0.2.1") (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "0.2.0") @@ -35,6 +36,7 @@ mkCoqDerivation { releaseRev = v: "v${v}"; + release."0.2.3".sha256 = "sha256-LqrSlML5pA84FGY4C/xm1EKSgjDe+NaQCSFg2ggdPHE="; release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs="; release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo="; release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";