From 32633ed60bcfcee92364de7035538b7bbbedda4d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Thu, 11 Jun 2026 15:55:05 +0200
Subject: [PATCH] Shipping gnatprove doesn't work

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

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