Fabien Chouteau
24 lines
834 B
TOML
24 lines
834 B
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 = "1.0.0"
|
|
tags = ["spark", "cryptography", "security", "nacl", "curve25519", "ed25519", "tweetnacl"]
|
|
licenses = "BSD-2-Clause"
|
|
website = "https://github.com/rod-chapman/SPARKNaCl"
|
|
|
|
authors = ["Rod Chapman"]
|
|
maintainers = ["Rod Chapman <rod@proteancode.com>"]
|
|
maintainers-logins = ["rod-chapman"]
|
|
|
|
[[depends-on]]
|
|
gnat = ">=2020"
|
|
|
|
[gpr-externals]
|
|
SPARKNACL_RUNTIME_MODE = ["full", "zfp"]
|
|
SPARKNACL_BUILD_MODE = ["debug", "O1", "O2", "O3"]
|
|
|
|
[origin]
|
|
commit = "aac69c969a050cbe0720112d86efff832cdc2346"
|
|
url = "git+https://github.com/rod-chapman/SPARKNaCl.git"
|
|
|