{
  "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": "CCSDS protocol suite with SPARK formal verification",
    "development_only": false,
    "latest_version": "0.1.0",
    "name": "ccsds_ada",
    "selected_version": "0.1.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "CCSDS protocol suite with SPARK formal verification",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved CCSDS protocol suite for Ada 2022. Implements Space Packet\nProtocol (133.0-B-1), Time Code Formats (301.0-B-4 CUC/CDS), AOS Transfer\nFrame (732.0-B-4) with FECF, Encapsulation Packet (133.1-B-3), CFDP PDU\n(727.0-B-5) with optional CRC, SLE identifiers (132.0-B-3), and the\nCRC-16-CCITT-FALSE primitive used by AOS and CFDP. 100% formally verified\nat SPARK Level 2 (440 proof obligations, 0 unproved). No heap allocation,\npragma Pure, suitable for embedded flight software and safety-critical\nground systems.\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "ccsds_ada",
          "origin": {
            "commit": "7632ca9aa6f83c695b5b0fa2d420bf13a2ba8297",
            "url": "git+https://github.com/b-erdem/ccsds_ada.git"
          },
          "tags": [
            "ccsds",
            "space",
            "telemetry",
            "telecommand",
            "spark",
            "embedded",
            "satellite",
            "verified",
            "cfdp",
            "aos"
          ],
          "version": "0.1.0",
          "website": "https://github.com/b-erdem/ccsds_ada"
        },
        "path": "index/cc/ccsds_ada/ccsds_ada-0.1.0.toml",
        "version": "0.1.0"
      }
    ]
  },
  "schema_version": 4
}