coap_spark: remove unneded dependency for users

2025-05-16 17:47:13 +02:00
parent 44954aeea0
commit d8c395bfa6
1 changed files with 0 additions and 3 deletions
@@ -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