Test ran at 2022-06-10 01:16:24.836142+00:00 SOLUTION: sparknacl=3.0.0: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library Origin: commit 8f2eed89f541f4e3ebf6844586eacaa7b3691ea3 from https://github.com/rod-chapman/SPARKNaCl.git Properties: Author: Rod Chapman Description: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library GPR Scenario: SPARKNACL_BUILD_MODE := debug | O1 | O2 | O3 | Os GPR Scenario: SPARKNACL_COMPILE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_CONTRACTS := enabled | disabled GPR Scenario: SPARKNACL_LIBRARY_TYPE := relocatable | static | static-pic GPR Scenario: SPARKNACL_RUNTIME_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_RUNTIME_MODE := full | zfp GPR Scenario: SPARKNACL_STYLE_CHECKS := enabled | disabled GPR Scenario: SPARKNACL_TARGET_ARCH := unspecified | rv32im | rv32imc | rv32imc_a4 License: BSD-3-Clause Long_Description: SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties Maintainer: Rod Chapman Maintainers_Logins: rod-chapman Name: sparknacl Tag: spark Tag: cryptography Tag: security Tag: nacl Tag: curve25519 Tag: ed25519 Tag: tweetnacl Version: 3.0.0 Website: https://github.com/rod-chapman/SPARKNaCl Dependencies (direct): gnat>=11.2.1 Dependencies (external): gnat>=11.2.1 (direct,hinted) Dependencies (graph): sparknacl=3.0.0 --> gnat>=11.2.1 Dependencies cannot be met LOG: