Test ran at 2022-09-24 01:14:56.001397+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 warning: Index 'community' version (1.2.0) is older than the newest supported by alr (1.2.1) warning: You can disable this warning with configuration key 'warning.old_index' Note: If you experience any problems loading this index, you may need to reset the community index with 'alr index --reset-community'. Note that this operation will delete any local changes to the community index. Dependencies (external): gnat>=11.2.1 (direct,hinted) Dependencies (graph): sparknacl=3.0.0 --> gnat>=11.2.1 Dependencies cannot be met LOG: