Jon
f80b499b97
* Create sparknacl-4.0.0.toml Added latest SPARKNaCl release * Update sparknacl-4.0.0.toml Added myself as additional mainatainer
29 lines
1.2 KiB
TOML
29 lines
1.2 KiB
TOML
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.0"
|
|
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=">=12.1.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 = "3bb462a1e645fe473a3910d09e0d7f0df8d1b926"
|
|
url = "git+https://github.com/rod-chapman/sparknacl.git"
|