From 360076da02294de3e19ede4c7669b12b4eadae57 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Wed, 29 Jan 2025 12:17:27 +0100
Subject: [PATCH] =?UTF-8?q?coqPackages.metacoq:=201.3.2=20=E2=86=92=201.3.?=
 =?UTF-8?q?4?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/development/coq-modules/ElmExtraction/default.nix  | 2 +-
 pkgs/development/coq-modules/RustExtraction/default.nix | 2 +-
 pkgs/development/coq-modules/metacoq/default.nix        | 6 ++++--
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/coq-modules/ElmExtraction/default.nix b/pkgs/development/coq-modules/ElmExtraction/default.nix
index cfba9df2a660..73b526cc0a67 100644
--- a/pkgs/development/coq-modules/ElmExtraction/default.nix
+++ b/pkgs/development/coq-modules/ElmExtraction/default.nix
@@ -26,7 +26,7 @@ mkCoqDerivation {
         {
           cases = [
             (range "8.17" "9.0")
-            (range "1.3.1" "1.3.2")
+            (range "1.3.1" "1.3.4")
           ];
           out = "0.1.0";
         }
diff --git a/pkgs/development/coq-modules/RustExtraction/default.nix b/pkgs/development/coq-modules/RustExtraction/default.nix
index 4aaa96e77f85..d9a51b0eefa9 100644
--- a/pkgs/development/coq-modules/RustExtraction/default.nix
+++ b/pkgs/development/coq-modules/RustExtraction/default.nix
@@ -26,7 +26,7 @@ mkCoqDerivation {
         {
           cases = [
             (range "8.17" "8.19")
-            (range "1.3.1" "1.3.2")
+            (range "1.3.1" "1.3.3")
           ];
           out = "0.1.0";
         }
diff --git a/pkgs/development/coq-modules/metacoq/default.nix b/pkgs/development/coq-modules/metacoq/default.nix
index 15c83514cce2..ba94bf8c5d1f 100644
--- a/pkgs/development/coq-modules/metacoq/default.nix
+++ b/pkgs/development/coq-modules/metacoq/default.nix
@@ -43,11 +43,11 @@ let
     }
     {
       case = "8.19";
-      out = "1.3.2-8.19";
+      out = "1.3.3-8.19";
     }
     {
       case = "8.20";
-      out = "1.3.2-8.20";
+      out = "1.3.4-8.20";
     }
   ] null;
   release = {
@@ -67,6 +67,8 @@ let
     "1.3.1-8.19".sha256 = "sha256-fZED/Uel1jt5XF83dR6HfyhSkfBdLkET8C/ArDgsm64=";
     "1.3.2-8.19".sha256 = "sha256-e5Pm1AhaQrO6JoZylSXYWmeXY033QflQuCBZhxGH8MA=";
     "1.3.2-8.20".sha256 = "sha256-4J7Ly4Fc2E/I6YqvzTLntVVls5t94OUOjVMKJyyJdw8=";
+    "1.3.3-8.19".sha256 = "sha256-SBTv49zQXZ+oGvIqWM53hjBKru9prFgZRv8gVgls40k=";
+    "1.3.4-8.20".sha256 = "sha256-ofRP0Uo48G2LBuIy/5ZLyK+iVZXleKiwfMEBD0rX9fQ=";
   };
   releaseRev = v: "v${v}";