{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "CoAP implementation formally verified with SPARK/Ada",
    "development_only": false,
    "latest_version": "0.10.0",
    "name": "coap_spark",
    "selected_version": "0.10.0",
    "versions": [
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_client",
            "path": "index/co/coap_client/coap_client-0.10.0.toml",
            "provided_version": "0.10.0",
            "qualifies": true,
            "requirement": "~0.10.0",
            "requires": "coap_spark",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_client",
            "path": "index/co/coap_client/coap_client-0.9.0.toml",
            "provided_version": "0.10.0",
            "qualifies": true,
            "requirement": "^0.9.0",
            "requires": "coap_spark",
            "selected": false,
            "version": "0.9.0"
          }
        ],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "gnatprove",
            "package": "gnatprove",
            "provided_version": "14.1.1",
            "requirement": "^14.1.1",
            "resolved": true,
            "version": "14.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "wolfssl",
            "package": "wolfssl",
            "provided_version": "5.9.2",
            "requirement": "^5.8.0",
            "resolved": true,
            "version": "5.9.2"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "gnat_native",
            "package": "gnat_native",
            "provided_version": "14.2.1",
            "requirement": "^14.2",
            "resolved": true,
            "version": "14.2.1"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/co/coap_spark/coap_spark-0.10.0.toml",
        "version": "0.10.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_client",
            "path": "index/co/coap_client/coap_client-0.10.0.toml",
            "provided_version": "0.9.0",
            "qualifies": false,
            "requirement": "~0.10.0",
            "requires": "coap_spark",
            "selected": true,
            "version": "0.10.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "coap_client",
            "path": "index/co/coap_client/coap_client-0.9.0.toml",
            "provided_version": "0.9.0",
            "qualifies": true,
            "requirement": "^0.9.0",
            "requires": "coap_spark",
            "selected": false,
            "version": "0.9.0"
          }
        ],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "gnatprove",
            "package": "gnatprove",
            "provided_version": "14.1.1",
            "requirement": "^14.1.1",
            "resolved": true,
            "version": "14.1.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "wolfssl",
            "package": "wolfssl",
            "provided_version": "5.9.2",
            "requirement": "^5.8.0",
            "resolved": true,
            "version": "5.9.2"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
            }
          ],
          "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 the client side 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": "81401167ac44c9178de4e130b1bd83228d62a3d2",
            "url": "git+https://github.com/mgrojo/coap_spark.git"
          },
          "tags": [
            "spark",
            "coap",
            "iot",
            "protocol"
          ],
          "version": "0.9.0",
          "website": "https://github.com/mgrojo/coap_spark"
        },
        "path": "index/co/coap_spark/coap_spark-0.9.0.toml",
        "version": "0.9.0"
      }
    ]
  },
  "schema_version": 4
}