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