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"