{
  "authors": [
    "Rod Chapman"
  ],
  "depends-on": [
    {
      "gnat": ">=2020"
    }
  ],
  "description": "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library",
  "gpr-externals": {
    "SPARKNACL_BUILD_MODE": [
      "debug",
      "O1",
      "O2",
      "O3"
    ],
    "SPARKNACL_RUNTIME_MODE": [
      "full",
      "zfp"
    ]
  },
  "licenses": "BSD-2-Clause",
  "long-description": "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties",
  "maintainers": [
    "Rod Chapman <rod@proteancode.com>"
  ],
  "maintainers-logins": [
    "rod-chapman"
  ],
  "name": "sparknacl",
  "origin": {
    "commit": "aac69c969a050cbe0720112d86efff832cdc2346",
    "url": "git+https://github.com/rod-chapman/SPARKNaCl.git"
  },
  "tags": [
    "spark",
    "cryptography",
    "security",
    "nacl",
    "curve25519",
    "ed25519",
    "tweetnacl"
  ],
  "version": "1.0.0",
  "website": "https://github.com/rod-chapman/SPARKNaCl"
}