From d8c395bfa65f3e87dce9a2ec623d9f8dcbf15696 Mon Sep 17 00:00:00 2001
From: Manuel <mgrojo@gmail.com>
Date: Fri, 16 May 2025 17:47:13 +0200
Subject: [PATCH] coap_spark: remove unneded dependency for users

---
 index/co/coap_spark/coap_spark-0.9.0.toml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/index/co/coap_spark/coap_spark-0.9.0.toml b/index/co/coap_spark/coap_spark-0.9.0.toml
index e8c3c46a..cea1bccb 100644
--- a/index/co/coap_spark/coap_spark-0.9.0.toml
+++ b/index/co/coap_spark/coap_spark-0.9.0.toml
@@ -22,9 +22,6 @@ licenses = "Apache-2.0 OR GPL-2.0-or-later"
 website = "https://github.com/mgrojo/coap_spark"
 tags = ["spark", "coap", "iot", "protocol"]
 
-[[depends-on]]
-gnatprove = "^14.1.1"
-
 [build-switches]
 "*".Style_Checks = [
     "-gnaty3" # Specify indentation level of 3