From afc3c1ea88efd21ab6c572fb51b45d4aea4dc01c Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 30 Mar 2026 07:50:38 +0200 Subject: [PATCH] =?UTF-8?q?coqPackages.ExtLib:=200.13.0=20=E2=86=92=200.13?= =?UTF-8?q?.1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/coq-modules/ExtLib/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/ExtLib/default.nix b/pkgs/development/coq-modules/ExtLib/default.nix index ecfb3f683956..1fb47713cde3 100644 --- a/pkgs/development/coq-modules/ExtLib/default.nix +++ b/pkgs/development/coq-modules/ExtLib/default.nix @@ -15,7 +15,7 @@ mkCoqDerivation { in with lib.versions; lib.switch coq.coq-version [ - (case (range "8.14" "9.1") "0.13.0") + (case (range "8.14" "9.2") "0.13.1") (case (range "8.11" "8.19") "0.12.0") (case (range "8.8" "8.16") "0.11.6") (case (range "8.8" "8.14") "0.11.4") @@ -24,6 +24,7 @@ mkCoqDerivation { (case "8.6" "0.9.5") (case "8.5" "0.9.4") ] null; + release."0.13.1".hash = "sha256-WJZaisQhbK9s/X4UeEYlhIaG2JqVWm1BiXzlDAcfEMk="; release."0.13.0".sha256 = "sha256-vqVSu+nyGjRVXe2tnE6MPl0kcg4LHfgFwRCpTQAP/is="; release."0.12.2".sha256 = "sha256-lSTlbpkSuAY6B9cqofXSlDk2VchtqfZpRQ0+y/BAbEY="; release."0.12.1".sha256 = "sha256-YIHyiRUHPy/LGM2DMTRKRwP7j6OSBYKpu6wO2mZOubo=";