Test ran at 2024-05-05 13:06:11.805958+00:00

SOLUTION:
sparknacl=4.0.0: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
Origin: commit 3bb462a1e645fe473a3910d09e0d7f0df8d1b926 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 <rod@proteancode.com>
   Maintainer: Jon Andrew <jonfandrew@fastmail.com>
   Maintainers_Logins: rod-chapman
   Maintainers_Logins: docandrew
   Name: sparknacl
   Tag: spark
   Tag: cryptography
   Tag: security
   Tag: nacl
   Tag: curve25519
   Tag: ed25519
   Tag: tweetnacl
   Version: 4.0.0
   Website: https://github.com/rod-chapman/SPARKNaCl
Dependencies (direct):
   gnat>=12.1.1
Dependencies (external):
   gnat>=12.1.1 (direct,hinted)
Dependencies (graph):
   sparknacl=4.0.0 --> gnat>=12.1.1
Dependencies cannot be met


LOG: