From fbe94a25689ab1c763a83c52ef4e62314bdfdc1b Mon Sep 17 00:00:00 2001
From: damhiya <damhiya@gmail.com>
Date: Tue, 7 Jan 2025 14:05:26 +0900
Subject: [PATCH] coqPackages.Ordinal: 0.5.3 -> 0.5.4

---
 pkgs/development/coq-modules/Ordinal/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/Ordinal/default.nix b/pkgs/development/coq-modules/Ordinal/default.nix
index 1a3571589d61..381f9fdab4e4 100644
--- a/pkgs/development/coq-modules/Ordinal/default.nix
+++ b/pkgs/development/coq-modules/Ordinal/default.nix
@@ -12,11 +12,12 @@ mkCoqDerivation {
     with lib.versions;
     lib.switch coq.version [
       {
-        case = range "8.12" "8.18";
-        out = "0.5.3";
+        case = range "8.12" "8.20";
+        out = "0.5.4";
       }
     ] null;
   release = {
+    "0.5.4".sha256 = "sha256-PaEC71FzJzHVGYpf3J1jvb/JsJzzMio0L5d5dPwiXuc=";
     "0.5.3".sha256 = "sha256-Myxwy749ZCBpqia6bf91cMTyJn0nRzXskD7Ue8kc37c=";
     "0.5.2".sha256 = "sha256-jf16EyLAnKm+42K+gTTHVFJqeOVQfIY2ozbxIs5x5DE=";
     "0.5.1".sha256 = "sha256-ThJ+jXmtkAd3jElpQZqfzqqc3EfoKY0eMpTHnbrracY=";