From 25bc3286facf7ee3674117a8cf756ddf43e35b41 Mon Sep 17 00:00:00 2001 From: Daniel King Date: Mon, 6 Jun 2022 19:11:53 +0100 Subject: [PATCH] libkeccak 3.0.0 (#533) * libkeccak 3.0.0 * Remove dependency on gnatprove --- index/li/libkeccak/libkeccak-3.0.0.toml | 31 +++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 index/li/libkeccak/libkeccak-3.0.0.toml diff --git a/index/li/libkeccak/libkeccak-3.0.0.toml b/index/li/libkeccak/libkeccak-3.0.0.toml new file mode 100644 index 00000000..71fd200a --- /dev/null +++ b/index/li/libkeccak/libkeccak-3.0.0.toml @@ -0,0 +1,31 @@ +name = "libkeccak" +description = "SHA-3 and related algorithms" +version = "3.0.0" +licenses = "BSD-3-Clause" +website = "https://github.com/damaki/libkeccak" +tags = [ + "spark", "cryptography", "security", "hash", "sha3", "keccak", "gimli", + "ascon", "shake", "cshake", "kmac", "tuplehash", "parallelhash", + "kangarootwelve" +] + +authors = ["Daniel King"] +maintainers = ["Daniel King "] +maintainers-logins = ["damaki"] + +[[depends-on]] +gnat = ">=11.0.0" + +[gpr-externals] +LIBKECCAK_LIBRARY_TYPE = ["relocatable", "static", "static-pic"] +LIBKECCAK_COMPILE_CHECKS = ["enabled", "disabled"] +LIBKECCAK_RUNTIME_CHECKS = ["enabled", "disabled"] +LIBKECCAK_STYLE_CHECKS = ["enabled", "disabled"] +LIBKECCAK_CONTRACTS = ["enabled", "disabled"] +LIBKECCAK_BUILD_MODE = ["debug", "optimize"] +LIBKECCAK_ARCH = ["generic", "x86_64"] +LIBKECCAK_SIMD = ["none", "SSE2", "AVX2"] +[origin] +commit = "f33be1c8120196d90f600b14d669b11d16149bf9" +url = "git+https://github.com/damaki/libkeccak.git" +