From dbfdf9cd0ca4877441ebf47bf7cf323c58392e0e Mon Sep 17 00:00:00 2001
From: Tom Hunze <dev@thunze.de>
Date: Fri, 22 May 2026 20:17:21 +0200
Subject: [PATCH] gnat16Packages.gnatcoll-core: fix build

https://github.com/AdaCore/gnatcoll-core/commit/b266466e0a05b30615ec43d72782c345470455b9
(cherry picked from commit 9c940973d48d3a41580352bfbd6768fa8dc891db)
---
 pkgs/development/ada-modules/gnatcoll/core.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/development/ada-modules/gnatcoll/core.nix b/pkgs/development/ada-modules/gnatcoll/core.nix
index 4e8e8b6c2e8e..90a1fb025365 100644
--- a/pkgs/development/ada-modules/gnatcoll/core.nix
+++ b/pkgs/development/ada-modules/gnatcoll/core.nix
@@ -36,6 +36,12 @@ stdenv.mkDerivation rec {
       url = "https://github.com/AdaCore/gnatcoll-core/commit/515db1c9f1eea8095f2d9ff9570159a78c981ec6.patch";
       sha256 = "1ghnkhp5fncb7qcmf59kyqvy0sd0pzf1phnr2z7b4ljwlkbmcp36";
     })
+    # Fix compilation with GNAT 16
+    (fetchpatch2 {
+      name = "gnatcoll-core-gnat-16.patch";
+      url = "https://github.com/AdaCore/gnatcoll-core/commit/b266466e0a05b30615ec43d72782c345470455b9.patch?full_index=1";
+      hash = "sha256-rG0D1y2dbXA2M2Arnto+f7iAhg3yCfTPDbDRN+pMJKQ=";
+    })
   ];
 
   postPatch = ''