From 9ab29b16931584ef00e5a189af07ccd29c204830 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Date: Fri, 25 Oct 2024 18:11:04 +0200
Subject: [PATCH] Update gnatcoll-25.0.0.toml

---
 index/gn/gnatcoll/gnatcoll-25.0.0.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index/gn/gnatcoll/gnatcoll-25.0.0.toml b/index/gn/gnatcoll/gnatcoll-25.0.0.toml
index d52b7854..c635897d 100644
--- a/index/gn/gnatcoll/gnatcoll-25.0.0.toml
+++ b/index/gn/gnatcoll/gnatcoll-25.0.0.toml
@@ -34,6 +34,7 @@ GNATCOLL_BUILD_MODE = "PROD"
 
 [[depends-on]]
 libgpr = "~25.0.0"
+gnat = ">=13"
 
 [origin]
 url="https://github.com/adacore/gnatcoll-core/archive/v25.0.0/gnatcoll-core-25.0.0.zip"