From fdaa8f59a28f78fc9c8c1e69177f2d8702af9fed Mon Sep 17 00:00:00 2001 From: Yifei Sun Date: Wed, 17 Jun 2026 21:34:06 +0200 Subject: [PATCH] coqPackages.InfSeqExt: modernize mkCoqDerivation release hash format --- pkgs/development/coq-modules/InfSeqExt/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix index fd8174dccd4a..60949e27d6b7 100644 --- a/pkgs/development/coq-modules/InfSeqExt/default.nix +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -20,9 +20,9 @@ mkCoqDerivation { (case (range "8.5" "8.16") "20200131") ] null; release."20230107".rev = "601e89ec019501c48c27fcfc14b9a3c70456e408"; - release."20230107".sha256 = "sha256-YMBzVIsLkIC+w2TeyHrKe29eWLIxrH3wIMZqhik8p9I="; + release."20230107".hash = "sha256-YMBzVIsLkIC+w2TeyHrKe29eWLIxrH3wIMZqhik8p9I="; release."20200131".rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a"; - release."20200131".sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0"; + release."20200131".hash = "sha256:0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0"; propagatedBuildInputs = [ stdlib ]; }