{
  "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": "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification",
    "development_only": false,
    "latest_version": "0.3.0",
    "name": "cbor_ada",
    "selected_version": "0.3.0",
    "versions": [
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "cose_ada",
            "path": "index/co/cose_ada/cose_ada-0.1.0.toml",
            "provided_version": "0.3.0",
            "qualifies": false,
            "requirement": "~0.2.0",
            "requires": "cbor_ada",
            "selected": true,
            "version": "0.1.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved CBOR encoder/decoder for Ada 2022. The entire library is\nformally verified at SPARK Level 2: 1082/1082 proof obligations discharged,\n0 unproved, 0 pragma Assume. Beyond absence of run-time errors, the\nencode/decode round trip is machine-proved -- Decode (Encode (x)) = x for\nevery major-type head (integers, tags, array/map headers, simple values,\nbooleans, null/undefined) and byte-exact float payload pass-through -- via a\nshared ghost denotation of the wire format.\n\nNo heap allocation, pragma Pure, suitable for embedded and safety-critical\nsystems. Full RFC 8949 well-formedness validation including shortest-form\nchecking, configurable nesting depth, string length limits, and optional\nUTF-8 validation.\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "cbor_ada",
          "origin": {
            "commit": "b448c366117ff9f6c050b13d4fe609bb79495759",
            "url": "git+https://github.com/b-erdem/cbor_ada.git"
          },
          "tags": [
            "cbor",
            "rfc8949",
            "serialization",
            "spark",
            "embedded",
            "iot",
            "verified"
          ],
          "version": "0.3.0",
          "website": "https://github.com/b-erdem/cbor_ada"
        },
        "path": "index/cb/cbor_ada/cbor_ada-0.3.0.toml",
        "version": "0.3.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "cose_ada",
            "path": "index/co/cose_ada/cose_ada-0.1.0.toml",
            "provided_version": "0.2.0",
            "qualifies": true,
            "requirement": "~0.2.0",
            "requires": "cbor_ada",
            "selected": true,
            "version": "0.1.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are\n100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).\nNo heap allocation, pragma Pure, suitable for embedded and safety-critical\nsystems. Uses System.Storage_Elements for constrained runtime compatibility.\nFull RFC 8949 well-formedness validation including shortest-form checking,\nconfigurable nesting depth, string length limits, and UTF-8 validation\n(enabled by default).\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "cbor_ada",
          "origin": {
            "commit": "4149ef32aab364688f78fcbf85743b66b477fa3f",
            "url": "git+https://github.com/b-erdem/cbor_ada.git"
          },
          "tags": [
            "cbor",
            "rfc8949",
            "serialization",
            "spark",
            "embedded",
            "iot",
            "verified"
          ],
          "version": "0.2.0",
          "website": "https://github.com/b-erdem/cbor_ada"
        },
        "path": "index/cb/cbor_ada/cbor_ada-0.2.0.toml",
        "version": "0.2.0"
      },
      {
        "dependants": [
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "cose_ada",
            "path": "index/co/cose_ada/cose_ada-0.1.0.toml",
            "provided_version": "0.1.1",
            "qualifies": false,
            "requirement": "~0.2.0",
            "requires": "cbor_ada",
            "selected": true,
            "version": "0.1.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "CBOR (RFC 8949) encoding/decoding library with SPARK formal verification",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved CBOR encoder/decoder for Ada 2022. The encoder and decoder are\n100% formally verified at SPARK Level 2 (517 proof obligations, 0 unproved).\nNo heap allocation, pragma Pure, suitable for embedded and safety-critical\nsystems. Full RFC 8949 well-formedness validation including shortest-form\nchecking, configurable nesting depth, string length limits, and UTF-8\nvalidation (enabled by default).\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "cbor_ada",
          "origin": {
            "commit": "4e578607a67722c80c8f2e605e1aef52dbbc1fb5",
            "url": "git+https://github.com/b-erdem/cbor_ada.git"
          },
          "tags": [
            "cbor",
            "rfc8949",
            "serialization",
            "spark",
            "embedded",
            "iot",
            "verified"
          ],
          "version": "0.1.1",
          "website": "https://github.com/b-erdem/cbor_ada"
        },
        "path": "index/cb/cbor_ada/cbor_ada-0.1.1.toml",
        "version": "0.1.1"
      }
    ]
  },
  "schema_version": 4
}