{
  "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": "CRDT library for Ada/SPARK",
    "development_only": false,
    "latest_version": "1.9.0",
    "name": "crdt",
    "selected_version": "1.9.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "bladeacer"
          ],
          "description": "CRDT library for Ada/SPARK",
          "executables": [
            "test_crdt"
          ],
          "licenses": "MIT",
          "long-description": "CRDT (Conflict-Free Replicated Data Types) library for Ada/SPARK with SPARK\nGold formal verification and DO-178C DAL-C targeting.\n\nPN-Counters, LWW-Element-Sets, LWW-Clocked-Sets (generic over Lamport, Vector,\nor Matrix clock strategies), and RGA sequences with three backend engines\n(Yjs chunk-based, Naive flat list, Fugue anti-interleaving BST). State-based\n(CvRDT delta sync) and operation-based (CmRDT bounded op log) sync layers.\nHybrid Logical Clock (HLC), versioned wire protocol (V1/V2/V3) with LEB128\nencoding, and thread-safe protected wrappers.\n\nZero heap allocation -- all containers use pre-allocated bounded storage.\nCore packages SPARK-proven at Gold level (absence of runtime errors).\n",
          "maintainers": [
            "bladeacer <wg.nick.exe@gmail.com>"
          ],
          "maintainers-logins": [
            "bladeacer"
          ],
          "name": "crdt",
          "origin": {
            "commit": "62b7474e4544833e5bb9794700387c28a598b931",
            "url": "git+https://github.com/bladeacer/ada_crdt.git"
          },
          "tags": [
            "crdt",
            "spark",
            "ada"
          ],
          "version": "1.9.0",
          "website": "https://github.com/bladeacer/ada_crdt"
        },
        "path": "index/cr/crdt/crdt-1.9.0.toml",
        "version": "1.9.0"
      },
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "bladeacer"
          ],
          "description": "CRDT library for Ada/SPARK",
          "licenses": "MIT",
          "maintainers": [
            "bladeacer <wg.nick.exe@gmail.com>"
          ],
          "maintainers-logins": [
            "bladeacer"
          ],
          "name": "crdt",
          "origin": {
            "hashes": [
              "sha256:37884c54c00e65f196d993a4c9a9b68d38d61f1f1dd1844e7728aa6b1c9e87e9",
              "sha512:b3dadc435fc188367a4a93ac085b4274f4efe99adfd58e3735321dfad077ede0243a9cfb5b2587db35f923ddbf182fdbe9405f036e24e45b5388ca51030bbe93"
            ],
            "url": "https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.7.0.tar.gz"
          },
          "tags": [
            "crdt",
            "spark",
            "ada"
          ],
          "version": "1.7.0",
          "website": "https://github.com/bladeacer/ada_crdt"
        },
        "path": "index/cr/crdt/crdt-1.7.0.toml",
        "version": "1.7.0"
      },
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "bladeacer"
          ],
          "description": "CRDT library for Ada/SPARK",
          "licenses": "MIT",
          "maintainers": [
            "bladeacer <wg.nick.exe@gmail.com>"
          ],
          "maintainers-logins": [
            "bladeacer"
          ],
          "name": "crdt",
          "origin": {
            "hashes": [
              "sha256:e1f8ac189b360ad97b4569648406ed4f1c0aef3810d4a975457695fe0a98cf9a",
              "sha512:7221048c5c0fc1367644380a9ee3322d872290caa6ebd9c2af5dd54dbf9be0541e74a93e5afd6351d9c8b207c0e7d9b12e4e72683dd282e94e4bce502a69fcf0"
            ],
            "url": "https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.5.0.tar.gz"
          },
          "tags": [
            "crdt",
            "spark",
            "ada"
          ],
          "version": "1.5.0",
          "website": "https://github.com/bladeacer/ada_crdt"
        },
        "path": "index/cr/crdt/crdt-1.5.0.toml",
        "version": "1.5.0"
      },
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "bladeacer"
          ],
          "description": "CRDT library for Ada/SPARK",
          "licenses": "MIT",
          "maintainers": [
            "bladeacer <wg.nick.exe@gmail.com>"
          ],
          "maintainers-logins": [
            "bladeacer"
          ],
          "name": "crdt",
          "origin": {
            "hashes": [
              "sha256:c8c763a8a61283772300aa62d7053a7e446ff9a1fb6aac0470ac4b5a63a1137d",
              "sha512:077bfc97180e4a518647d3561f822516181b999f8d485a71f8d4355ab12dd082a9c3e8212373ce9f6c395e8c43a48b92758fd42cea715d59d4c89d8fdb36b156"
            ],
            "url": "https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.3.0.tar.gz"
          },
          "tags": [
            "crdt",
            "spark",
            "ada"
          ],
          "version": "1.3.0",
          "website": "https://github.com/bladeacer/ada_crdt"
        },
        "path": "index/cr/crdt/crdt-1.3.0.toml",
        "version": "1.3.0"
      },
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "bladeacer"
          ],
          "description": "CRDT library for Ada/SPARK",
          "licenses": "MIT",
          "maintainers": [
            "bladeacer <wg.nick.exe@gmail.com>"
          ],
          "maintainers-logins": [
            "bladeacer"
          ],
          "name": "crdt",
          "origin": {
            "hashes": [
              "sha256:33c64a3b04b3b93f0eb1abb844a8c082b4bdd4aa614151f3bc6d5d9a08e3f827",
              "sha512:0f54181b0fbff2f990247f085ea49c03675285cb9fee33f0938b39eec48a964ca756c5a0e2b4feac02c6f0dd53e822a03499dee1a9145c5309ba16bdeb53c28b"
            ],
            "url": "https://codeberg.org/bladeacer/Ada_CRDT/archive/v1.1.0.tar.gz"
          },
          "tags": [
            "crdt",
            "spark",
            "ada"
          ],
          "version": "1.1.0",
          "website": "https://github.com/bladeacer/ada_crdt"
        },
        "path": "index/cr/crdt/crdt-1.1.0.toml",
        "version": "1.1.0"
      }
    ]
  },
  "schema_version": 4
}