coap_spark, coap_client 0.10.0 (#1684)

* Add coap_spark-0.10.0 

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) in SPARK/Ada, with client and server sides.

* Add coap_client-0.10.0

index/co/coap_client/coap_client-0.10.0.toml

@@ -0,0 +1,24 @@
+name = "coap_client"
+description = "Client program for the CoAP-SPARK library."
+version = "0.10.0"
+
+authors = ["Manuel Gomez"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+licenses = "Apache-2.0 OR GPL-2.0-or-later"
+website = "https://github.com/mgrojo/coap_spark"
+tags = ["coap", "spark", "client", "iot", "protocol"]
+
+executables = ["coap_client"]
+
+[[depends-on]]
+coap_spark = "~0.10.0"
+
+[build-switches]
+"*".Style_Checks = ["-gnatyC"]
+"*".Ada_Version = "Ada2022"
+
+[origin]
+url = "git+https://github.com/mgrojo/coap_spark.git"
+commit = "31eb05decafd9dc328b8242f8e4bd9364a20fe39"
+subdir = "client"

index/co/coap_spark/coap_spark-0.10.0.toml

@@ -0,0 +1,71 @@
+name = "coap_spark"
+description = "CoAP implementation formally verified with SPARK/Ada"
+long-description = """
+CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP)
+as defined in
+[RFC 7252](https://www.rfc-editor.org/rfc/rfc7252), developed in the SPARK 
+language, the formally verified subset of the Ada programming language.
+
+This version implements client and server sides of the protocol with some limitations:
+- It does not support block-wise transfers.
+- It does not support retransmission of messages.
+- It only supports NoSec and PreSharedKey security modes.
+
+See LICENSING for licensing information.
+"""
+version = "0.10.0"
+
+authors = ["Manuel Gomez"]
+maintainers = ["Manuel Gomez <mgrojo@gmail.com>"]
+maintainers-logins = ["mgrojo"]
+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
+    ,"-gnatya" # Check attribute casing
+    ,"-gnatyA" # Use of array index numbers in array attributes
+    ,"-gnatyB" # Check Boolean operators
+    ,"-gnatyb" # Blanks not allowed at statement end
+    ,"-gnatyC" # Check comments (1 space after --)
+    ,"-gnatye" # Check end/exit labels
+    ,"-gnatyf" # No form feeds or vertical tabs
+    ,"-gnatyh" # No horizontal tabs
+    ,"-gnatyi" # Check if-then layout
+    ,"-gnatyI" # check mode IN keywords
+    ,"-gnatyk" # Check keyword casing
+    ,"-gnatyl" # Check layout
+    ,"-gnatyM100" # Check maximum line length
+    ,"-gnatyn" # Check casing of entities in Standard
+    ,"-gnatyO" # Check that overriding subprograms are explicitly marked as such
+    ,"-gnatyp" # Check pragma casing
+    ,"-gnatyr" # Check identifier references casing
+    ,"-gnatyS" # Check no statements after THEN/ELSE
+    ,"-gnatyt" # Check token spacing
+    ,"-gnatyx" # Check extra parentheses
+    ]
+"*".Ada_Version = "Ada2022"
+
+# You might want to use the following to specify the path to the Colibri solver
+# [environment]
+# PATH.append = "/home/mgr/local/gnat-2021/libexec/spark/bin"
+
+[[depends-on]]
+wolfssl = "^5.8.0"
+
+[configuration.values]
+# This is needed only for compatibility with https://github.com/mgrojo/ikea-smartlight
+# You can set it to false, if you need to disable it.
+wolfssl.STATIC_PSK = true
+
+[[depends-on]]
+gnat_native = "^14.2"
+
+[origin]
+commit = "31eb05decafd9dc328b8242f8e4bd9364a20fe39"
+url = "git+https://github.com/mgrojo/coap_spark.git"