From bf48f434b9a45489d563178bbae5193d378ecafe Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Fri, 2 Oct 2026 09:35:37 +0200 Subject: [PATCH] =?UTF-8?q?rocqPackages.ExtLib:=200.13.1=20=E2=86=92=200.1?= =?UTF-8?q?3.2?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/rocq-modules/ExtLib/default.nix | 3 ++- pkgs/development/rocq-modules/jasmin/default.nix | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/development/rocq-modules/ExtLib/default.nix b/pkgs/development/rocq-modules/ExtLib/default.nix index eb1adfd44dfa..5c52a599f52f 100644 --- a/pkgs/development/rocq-modules/ExtLib/default.nix +++ b/pkgs/development/rocq-modules/ExtLib/default.nix @@ -15,7 +15,7 @@ mkCoqDerivation { in with lib.versions; lib.switch coq.coq-version [ - (case (range "8.14" "9.2") "0.13.1") + (case (range "8.14" "9.3") "0.13.2") (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.2".hash = "sha256-N+P9T2BfsRapJFLEhoEEBXO6mdJ8YZHwidHYpDe6o08="; release."0.13.1".hash = "sha256-WJZaisQhbK9s/X4UeEYlhIaG2JqVWm1BiXzlDAcfEMk="; release."0.13.0".hash = "sha256-vqVSu+nyGjRVXe2tnE6MPl0kcg4LHfgFwRCpTQAP/is="; release."0.12.2".hash = "sha256-lSTlbpkSuAY6B9cqofXSlDk2VchtqfZpRQ0+y/BAbEY="; diff --git a/pkgs/development/rocq-modules/jasmin/default.nix b/pkgs/development/rocq-modules/jasmin/default.nix index c6894217ea7b..9f60d3b5a444 100644 --- a/pkgs/development/rocq-modules/jasmin/default.nix +++ b/pkgs/development/rocq-modules/jasmin/default.nix @@ -26,7 +26,8 @@ ] null; releaseRev = v: "v${v}"; - release."2026.03.3".hash = "sha256-LY3683WHT0A3pXpszGAl8tkc7fCy5RufuPBVedBk298="; + release."2026.03.3".hash = "sha256-C41usqCbj/sKhWCIOdF4oVPRoqnWfIC58gyrDRnxPEw="; + release."2026.03.3".rev = "aad63329716bfc0489c2dd0cb5aaf0497ec2d324"; release."2026.03.1".hash = "sha256-CE+WbcG0lgKvaV/OSMlTp3fG+v82X41z/w7ynsM/LLg="; release."2026.03.0".hash = "sha256-MzdVbZhXlb9JFLsf+23yJNFiGJDBJZGbX6Ox3/U1EzA="; release."2025.06.1".hash = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";