From cdf1ca655deb4556a25ba9f9b27589d91f746e0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Sun, 14 Jun 2026 22:00:40 +0200
Subject: [PATCH] Add gnatprove as dependency

---
 alire.toml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/alire.toml b/alire.toml
index 6316535..9afbf8b 100644
--- a/alire.toml
+++ b/alire.toml
@@ -9,3 +9,5 @@ licenses = "MIT"
 website = ""
 tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
 
+[[depends-on]]
+gnatprove = "^15.1.0"