From aefa358e6ca111ee1b328917425640cd3626fbbe Mon Sep 17 00:00:00 2001 From: Arthur Azevedo de Amorim Date: Mon, 12 Oct 2026 11:37:36 -0400 Subject: [PATCH] rocqPackages.extructures: 0.5.0 -> 0.6.0 This release requires Rocq 9.0 or later and MathComp 2.5 or later, so keep 0.5.0 as the default for the older versions. Assisted-by: Claude Opus 5 (1M context) --- pkgs/development/rocq-modules/extructures/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/rocq-modules/extructures/default.nix b/pkgs/development/rocq-modules/extructures/default.nix index f6e485b1d75e..2870d6dd68e2 100644 --- a/pkgs/development/rocq-modules/extructures/default.nix +++ b/pkgs/development/rocq-modules/extructures/default.nix @@ -26,6 +26,7 @@ lib.switch [ coq.coq-version mathcomp-boot.version ] [ + (case (range "9.0" "9.2") (range "2.5.0" "2.6.0") "0.6.0") (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.5.0") (case (range "8.17" "8.20") (range "2.0.0" "2.3.0") "0.4.0") (case (range "8.11" "8.20") (range "1.12.0" "1.19.0") "0.3.1") @@ -36,6 +37,7 @@ releaseRev = v: "v${v}"; + release."0.6.0".hash = "sha256-rwqkVoRVErqanJOGS5p2q1GPdqXQcBaro5GnFnumzhw="; release."0.5.0".hash = "sha256-Guu2+tmHym52DA6SB5Rq/rYWIQEl47Q7YvMaUkfOH2k="; release."0.4.0".hash = "sha256-hItFO2XY2LTPSofPTKt3AfOEfiLliaYdzUXgDv4ea9Y="; release."0.3.1".hash = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0=";