{
  "authors": [
    "Manuel Gomez"
  ],
  "build-switches": {
    "*": {
      "Ada_Version": "Ada2022",
      "Style_Checks": [
        "-gnaty3",
        "-gnatya",
        "-gnatyA",
        "-gnatyB",
        "-gnatyb",
        "-gnatyC",
        "-gnatye",
        "-gnatyf",
        "-gnatyh",
        "-gnatyi",
        "-gnatyI",
        "-gnatyk",
        "-gnatyl",
        "-gnatyM100",
        "-gnatyn",
        "-gnatyO",
        "-gnatyp",
        "-gnatyr",
        "-gnatyS",
        "-gnatyt",
        "-gnatyx"
      ]
    }
  },
  "configuration": {
    "values": {
      "wolfssl": {
        "STATIC_PSK": true
      }
    }
  },
  "depends-on": [
    {
      "gnatprove": "^14.1.1"
    },
    {
      "wolfssl": "^5.8.0"
    },
    {
      "gnat_native": "^14.2"
    }
  ],
  "description": "CoAP implementation formally verified with SPARK/Ada",
  "licenses": "Apache-2.0 OR GPL-2.0-or-later",
  "long-description": "CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP)\nas defined in\n[RFC 7252](https://www.rfc-editor.org/rfc/rfc7252), developed in the SPARK \nlanguage, the formally verified subset of the Ada programming language.\n\nThis version implements client and server sides of the protocol with some limitations:\n- It does not support block-wise transfers.\n- It does not support retransmission of messages.\n- It only supports NoSec and PreSharedKey security modes.\n\nSee LICENSING for licensing information.\n",
  "maintainers": [
    "Manuel Gomez <mgrojo@gmail.com>"
  ],
  "maintainers-logins": [
    "mgrojo"
  ],
  "name": "coap_spark",
  "origin": {
    "commit": "31eb05decafd9dc328b8242f8e4bd9364a20fe39",
    "url": "git+https://github.com/mgrojo/coap_spark.git"
  },
  "tags": [
    "spark",
    "coap",
    "iot",
    "protocol"
  ],
  "version": "0.10.0",
  "website": "https://github.com/mgrojo/coap_spark"
}