From 5f2a6394f0e996bb034b78fe565ca226410f031c Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Tue, 14 Apr 2026 14:23:26 +0200
Subject: [PATCH] alt-ergo: 2.6.2 -> 2.6.3

Release: https://github.com/OCamlPro/alt-ergo/releases/tag/v2.6.3
Diff: https://github.com/OCamlPro/alt-ergo/compare/v2.6.2...v2.6.3
---
 pkgs/by-name/al/alt-ergo/package.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/al/alt-ergo/package.nix b/pkgs/by-name/al/alt-ergo/package.nix
index a29807e8476c..131ed284957f 100644
--- a/pkgs/by-name/al/alt-ergo/package.nix
+++ b/pkgs/by-name/al/alt-ergo/package.nix
@@ -8,11 +8,11 @@
 
 let
   pname = "alt-ergo";
-  version = "2.6.2";
+  version = "2.6.3";
 
   src = fetchurl {
     url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";
-    hash = "sha256-OeLJEop9HonzMuMaJxbzWfO54akl/oHxH6SnSbXSTYI=";
+    hash = "sha256-SsK12K5sVKEaDMNJ7HahU6qVcnv1fvnLMwmnBqf7G/o=";
   };
 in