alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

sparknacl 4.0.1 (#1425)

Browse Source
This commit is contained in:
Jon
2025-03-14 05:29:54 -06:00
committed by GitHub
parent d30fd0d423
commit d7d141b9bb
1 changed files with 28 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/sp/sparknacl/sparknacl-4.0.1.toml
+28
View File
@@ -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 <rod@proteancode.com>", "Jon Andrew <jonfandrew@fastmail.com>"]
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"