From d7d141b9bb0c4a97a5e6b078225a0344de66d002 Mon Sep 17 00:00:00 2001 From: Jon Date: Fri, 14 Mar 2025 05:29:54 -0600 Subject: [PATCH] sparknacl 4.0.1 (#1425) --- index/sp/sparknacl/sparknacl-4.0.1.toml | 28 +++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 index/sp/sparknacl/sparknacl-4.0.1.toml diff --git a/index/sp/sparknacl/sparknacl-4.0.1.toml b/index/sp/sparknacl/sparknacl-4.0.1.toml new file mode 100644 index 00000000..e04c8aa3 --- /dev/null +++ b/index/sp/sparknacl/sparknacl-4.0.1.toml @@ -0,0 +1,28 @@ +name = "sparknacl" +description = "Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library" +long-description = "SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties" +version = "4.0.1" +tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"] +licenses = "BSD-3-Clause" +website = "https://github.com/rod-chapman/SPARKNaCl" + +authors = ["Rod Chapman"] +maintainers = ["Rod Chapman ", "Jon Andrew "] +maintainers-logins = ["rod-chapman", "docandrew"] + +[[depends-on]] +gnat=">=14.2.1" + +[gpr-externals] +SPARKNACL_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] +SPARKNACL_COMPILE_CHECKS = ["enabled", "disabled"] +SPARKNACL_RUNTIME_CHECKS = ["enabled", "disabled"] +SPARKNACL_STYLE_CHECKS = ["enabled", "disabled"] +SPARKNACL_CONTRACTS = ["enabled", "disabled"] +SPARKNACL_RUNTIME_MODE = ["full", "zfp"] +SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3", "Os"] +SPARKNACL_TARGET_ARCH = ["unspecified", "rv32im", "rv32imc", "rv32imc_a4"] + +[origin] +commit = "8e3cc2e6a67826cbfb1e36559238e03cb024a706" +url = "git+https://github.com/rod-chapman/sparknacl.git"