{ "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": "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library", "development_only": false, "latest_version": "4.0.1", "name": "sparknacl", "selected_version": "4.0.1", "versions": [ { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "cose_ada", "path": "index/co/cose_ada/cose_ada-0.1.0.toml", "provided_version": "4.0.1", "qualifies": true, "requirement": "^4.0.1", "requires": "sparknacl", "selected": true, "version": "0.1.0" } ], "dependencies": [ { "catalog": "flyology", "condition": null, "name": "gnat", "package": "gnat_flyology_native", "provided_version": "16.2.0", "requirement": ">=14.2.1", "resolved": true, "version": "16.2.0-patchset.1.1.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Rod Chapman" ], "depends-on": [ { "gnat": ">=14.2.1" } ], "description": "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library", "gpr-externals": { "SPARKNACL_BUILD_MODE": [ "debug", "O1", "O2", "O3", "Os" ], "SPARKNACL_COMPILE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_CONTRACTS": [ "enabled", "disabled" ], "SPARKNACL_LIBRARY_TYPE": [ "relocatable", "static", "static-pic" ], "SPARKNACL_RUNTIME_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_RUNTIME_MODE": [ "full", "zfp" ], "SPARKNACL_STYLE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_TARGET_ARCH": [ "unspecified", "rv32im", "rv32imc", "rv32imc_a4" ] }, "licenses": "BSD-3-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 ", "Jon Andrew " ], "maintainers-logins": [ "rod-chapman", "docandrew" ], "name": "sparknacl", "origin": { "commit": "8e3cc2e6a67826cbfb1e36559238e03cb024a706", "url": "git+https://github.com/rod-chapman/sparknacl.git" }, "tags": [ "spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl" ], "version": "4.0.1", "website": "https://github.com/rod-chapman/SPARKNaCl" }, "path": "index/sp/sparknacl/sparknacl-4.0.1.toml", "version": "4.0.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "cose_ada", "path": "index/co/cose_ada/cose_ada-0.1.0.toml", "provided_version": "4.0.0", "qualifies": false, "requirement": "^4.0.1", "requires": "sparknacl", "selected": true, "version": "0.1.0" } ], "dependencies": [ { "catalog": "flyology", "condition": null, "name": "gnat", "package": "gnat_flyology_native", "provided_version": "16.2.0", "requirement": ">=12.1.1", "resolved": true, "version": "16.2.0-patchset.1.1.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Rod Chapman" ], "depends-on": [ { "gnat": ">=12.1.1" } ], "description": "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library", "gpr-externals": { "SPARKNACL_BUILD_MODE": [ "debug", "O1", "O2", "O3", "Os" ], "SPARKNACL_COMPILE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_CONTRACTS": [ "enabled", "disabled" ], "SPARKNACL_LIBRARY_TYPE": [ "relocatable", "static", "static-pic" ], "SPARKNACL_RUNTIME_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_RUNTIME_MODE": [ "full", "zfp" ], "SPARKNACL_STYLE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_TARGET_ARCH": [ "unspecified", "rv32im", "rv32imc", "rv32imc_a4" ] }, "licenses": "BSD-3-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 ", "Jon Andrew " ], "maintainers-logins": [ "rod-chapman", "docandrew" ], "name": "sparknacl", "origin": { "commit": "3bb462a1e645fe473a3910d09e0d7f0df8d1b926", "url": "git+https://github.com/rod-chapman/sparknacl.git" }, "tags": [ "spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl" ], "version": "4.0.0", "website": "https://github.com/rod-chapman/SPARKNaCl" }, "path": "index/sp/sparknacl/sparknacl-4.0.0.toml", "version": "4.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "cose_ada", "path": "index/co/cose_ada/cose_ada-0.1.0.toml", "provided_version": "3.0.0", "qualifies": false, "requirement": "^4.0.1", "requires": "sparknacl", "selected": true, "version": "0.1.0" } ], "dependencies": [ { "catalog": "flyology", "condition": null, "name": "gnat", "package": "gnat_flyology_native", "provided_version": "16.2.0", "requirement": ">=11.2.1", "resolved": true, "version": "16.2.0-patchset.1.1.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Rod Chapman" ], "depends-on": [ { "gnat": ">=11.2.1" } ], "description": "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library", "gpr-externals": { "SPARKNACL_BUILD_MODE": [ "debug", "O1", "O2", "O3", "Os" ], "SPARKNACL_COMPILE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_CONTRACTS": [ "enabled", "disabled" ], "SPARKNACL_LIBRARY_TYPE": [ "relocatable", "static", "static-pic" ], "SPARKNACL_RUNTIME_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_RUNTIME_MODE": [ "full", "zfp" ], "SPARKNACL_STYLE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_TARGET_ARCH": [ "unspecified", "rv32im", "rv32imc", "rv32imc_a4" ] }, "licenses": "BSD-3-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 " ], "maintainers-logins": [ "rod-chapman" ], "name": "sparknacl", "origin": { "commit": "8f2eed89f541f4e3ebf6844586eacaa7b3691ea3", "url": "git+https://github.com/rod-chapman/SPARKNaCl.git" }, "tags": [ "spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl" ], "version": "3.0.0", "website": "https://github.com/rod-chapman/SPARKNaCl" }, "path": "index/sp/sparknacl/sparknacl-3.0.0.toml", "version": "3.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "cose_ada", "path": "index/co/cose_ada/cose_ada-0.1.0.toml", "provided_version": "2.0.0", "qualifies": false, "requirement": "^4.0.1", "requires": "sparknacl", "selected": true, "version": "0.1.0" } ], "dependencies": [ { "catalog": null, "condition": null, "name": "gnat", "package": null, "provided_version": null, "requirement": ">=2020", "resolved": false, "version": null } ], "development": false, "external": false, "manifest": { "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_COMPILE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_CONTRACTS": [ "enabled", "disabled" ], "SPARKNACL_LIBRARY_TYPE": [ "relocatable", "static", "static-pic" ], "SPARKNACL_RUNTIME_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_RUNTIME_MODE": [ "full", "zfp" ], "SPARKNACL_STYLE_CHECKS": [ "enabled", "disabled" ], "SPARKNACL_TARGET_ARCH": [ "unspecified", "rv32im", "rv32imc", "rv32imc_f4l4" ] }, "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 " ], "maintainers-logins": [ "rod-chapman" ], "name": "sparknacl", "origin": { "commit": "77e57c77b41bb2f8402c810e8c80321581a477ce", "url": "git+https://github.com/rod-chapman/SPARKNaCl.git" }, "tags": [ "spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl" ], "version": "2.0.0", "website": "https://github.com/rod-chapman/SPARKNaCl" }, "path": "index/sp/sparknacl/sparknacl-2.0.0.toml", "version": "2.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "cose_ada", "path": "index/co/cose_ada/cose_ada-0.1.0.toml", "provided_version": "1.0.0", "qualifies": false, "requirement": "^4.0.1", "requires": "sparknacl", "selected": true, "version": "0.1.0" } ], "dependencies": [ { "catalog": null, "condition": null, "name": "gnat", "package": null, "provided_version": null, "requirement": ">=2020", "resolved": false, "version": null } ], "development": false, "external": false, "manifest": { "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 " ], "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" }, "path": "index/sp/sparknacl/sparknacl-1.0.0.toml", "version": "1.0.0" } ] }, "schema_version": 4 }