From fe3418be8c85d19ffad7b76f2162d3b24635b608 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= <dkm@kataplop.net>
Date: Thu, 6 Oct 2022 16:41:41 +0200
Subject: [PATCH] libadalang_tools: fix gnat dependency (#652)

libadalang_tools crate does not build correctly with GNAT 12 because of new diagnostic message.
---
 index/li/libadalang_tools/libadalang_tools-22.0.0.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index/li/libadalang_tools/libadalang_tools-22.0.0.toml b/index/li/libadalang_tools/libadalang_tools-22.0.0.toml
index 00ce3bd0..ae85cca5 100644
--- a/index/li/libadalang_tools/libadalang_tools-22.0.0.toml
+++ b/index/li/libadalang_tools/libadalang_tools-22.0.0.toml
@@ -18,6 +18,7 @@ hashes = ["sha512:c9028428379e68644dee140b76c6806b15561484bdc77a8c85c88c1ae4de51
 
 [[depends-on]]
 libadalang = "22.0.0"
+gnat = "^11"
 
 [[actions.'case(os)'.windows]]
 type = "post-fetch"