From a261d6ec3c79cf291e8d78c9eef0efed92b5ab14 Mon Sep 17 00:00:00 2001
From: Tom Hunze <dev@thunze.de>
Date: Fri, 22 May 2026 20:23:42 +0200
Subject: [PATCH] gnatPackages.gnatcoll-core: remove redundant gnat 12 patch

We don't ship gnat 12 anymore.
---
 pkgs/development/ada-modules/gnatcoll/core.nix | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/pkgs/development/ada-modules/gnatcoll/core.nix b/pkgs/development/ada-modules/gnatcoll/core.nix
index 90a1fb025365..e60230332945 100644
--- a/pkgs/development/ada-modules/gnatcoll/core.nix
+++ b/pkgs/development/ada-modules/gnatcoll/core.nix
@@ -30,12 +30,6 @@ stdenv.mkDerivation rec {
   };
 
   patches = [
-    # Fix compilation with GNAT 12 https://github.com/AdaCore/gnatcoll-core/issues/88
-    (fetchpatch2 {
-      name = "gnatcoll-core-gnat-12.patch";
-      url = "https://github.com/AdaCore/gnatcoll-core/commit/515db1c9f1eea8095f2d9ff9570159a78c981ec6.patch";
-      sha256 = "1ghnkhp5fncb7qcmf59kyqvy0sd0pzf1phnr2z7b4ljwlkbmcp36";
-    })
     # Fix compilation with GNAT 16
     (fetchpatch2 {
       name = "gnatcoll-core-gnat-16.patch";