{
  "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": "SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK",
    "development_only": false,
    "latest_version": "0.2.0",
    "name": "hmac_ada",
    "selected_version": "0.2.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.2.0",
            "qualifies": true,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hkdf_ada",
            "path": "index/hk/hkdf_ada/hkdf_ada-0.1.0.toml",
            "provided_version": "0.2.0",
            "qualifies": true,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "p256_ada",
            "path": "index/p2/p256_ada/p256_ada-0.1.0.toml",
            "provided_version": "0.2.0",
            "qualifies": true,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "flyology",
            "condition": null,
            "development": true,
            "name": "flyology_postgres",
            "path": "index/fl/flyology_postgres/flyology_postgres-0.1.1-dev.toml",
            "provided_version": "0.2.0",
            "qualifies": true,
            "requirement": "^0.2.0",
            "requires": "hmac_ada",
            "selected": false,
            "version": "0.1.1-dev"
          },
          {
            "catalog": "flyology",
            "condition": null,
            "development": false,
            "name": "flyology_postgres",
            "path": "index/fl/flyology_postgres/flyology_postgres-0.1.0.toml",
            "provided_version": "0.2.0",
            "qualifies": true,
            "requirement": "^0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved HMAC (RFC 2104) with standalone SHA-256 (FIPS 180-4) for Ada 2022.\n175 proof obligations fully discharged at Level 2 with zero pragma Assume.\nConstant-time digest comparison (the default `=` operator), secure wipe of\nkey material, no heap allocation, pragma Pure. Suitable for embedded and\nsafety-critical systems. Includes streaming and one-shot APIs, plus a generic\nHMAC package for other hash functions.\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "hmac_ada",
          "origin": {
            "commit": "6cab790417b3672fe821fdd68f6668026c8e26cb",
            "url": "git+https://github.com/b-erdem/hmac_ada.git"
          },
          "tags": [
            "hmac",
            "rfc2104",
            "cryptography",
            "spark",
            "embedded",
            "security"
          ],
          "version": "0.2.0",
          "website": "https://github.com/b-erdem/hmac_ada"
        },
        "path": "index/hm/hmac_ada/hmac_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.0",
            "qualifies": false,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "hkdf_ada",
            "path": "index/hk/hkdf_ada/hkdf_ada-0.1.0.toml",
            "provided_version": "0.1.0",
            "qualifies": false,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "development": false,
            "name": "p256_ada",
            "path": "index/p2/p256_ada/p256_ada-0.1.0.toml",
            "provided_version": "0.1.0",
            "qualifies": false,
            "requirement": "~0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          },
          {
            "catalog": "flyology",
            "condition": null,
            "development": true,
            "name": "flyology_postgres",
            "path": "index/fl/flyology_postgres/flyology_postgres-0.1.1-dev.toml",
            "provided_version": "0.1.0",
            "qualifies": false,
            "requirement": "^0.2.0",
            "requires": "hmac_ada",
            "selected": false,
            "version": "0.1.1-dev"
          },
          {
            "catalog": "flyology",
            "condition": null,
            "development": false,
            "name": "flyology_postgres",
            "path": "index/fl/flyology_postgres/flyology_postgres-0.1.0.toml",
            "provided_version": "0.1.0",
            "qualifies": false,
            "requirement": "^0.2.0",
            "requires": "hmac_ada",
            "selected": true,
            "version": "0.1.0"
          }
        ],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "Baris Erdem"
          ],
          "description": "SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK",
          "licenses": "Apache-2.0",
          "long-description": "SPARK-proved HMAC (RFC 2104) with standalone SHA-256 (FIPS 180-4) for Ada 2022.\n174 proof obligations fully discharged at Level 2 with zero pragma Assume.\nConstant-time digest comparison, secure wipe of key material, no heap\nallocation, pragma Pure. Suitable for embedded and safety-critical systems.\nIncludes streaming and one-shot APIs, plus a generic HMAC package for other\nhash functions.\n",
          "maintainers": [
            "Baris Erdem <baris@erdem.dev>"
          ],
          "maintainers-logins": [
            "b-erdem"
          ],
          "name": "hmac_ada",
          "origin": {
            "commit": "fa03673fd91b3e8a155ae321d03ca1f0bc839540",
            "url": "git+https://github.com/b-erdem/hmac_ada.git"
          },
          "tags": [
            "hmac",
            "rfc2104",
            "cryptography",
            "spark",
            "embedded",
            "security"
          ],
          "version": "0.1.0",
          "website": "https://github.com/b-erdem/hmac_ada"
        },
        "path": "index/hm/hmac_ada/hmac_ada-0.1.0.toml",
        "version": "0.1.0"
      }
    ]
  },
  "schema_version": 4
}