Test ran at 2024-04-20 12:58:08.272170+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 (solution):
   gnat=13.2.1 (gnat_external) (installed)
Dependencies (graph):
   sparknacl=4.0.0 --> gnat=13.2.1 (gnat_external) (>=12.1.1)


LOG:
Note: Deploying sparknacl=4.0.0...
Note: Building sparknacl/sparknacl.gpr...
Setup
   [mkdir]        object directory for project Sparknacl
Compile
   [Ada]          sparknacl-hashing-sha256.adb
   [Ada]          sparknacl-scalar.adb
   [Ada]          sparknacl-hashing.adb
   [Ada]          sparknacl-utils.adb
   [Ada]          sparknacl-debug.adb
   [Ada]          sparknacl-sign-utils.adb
   [Ada]          sparknacl-hashing-rfsb509.adb
   [Ada]          sparknacl-mac.adb
   [Ada]          sparknacl-stream.adb
   [Ada]          sparknacl-hkdf.adb
   [Ada]          sparknacl-cryptobox.adb
   [Ada]          sparknacl-core.adb
   [Ada]          sparknacl-pdebug.adb
   [Ada]          sparknacl.adb
   [Ada]          sparknacl-aes.adb
   [Ada]          sparknacl-hashing-sha512.adb
   [Ada]          sparknacl-sign.adb
   [Ada]          sparknacl-secretbox.adb
   [Ada]          sparknacl-car.adb
Build Libraries
   [gprlib]       Sparknacl.lexch
   [archive]      libSparknacl.a
   [index]        libSparknacl.a
Build finished successfully in 1.02 seconds.

sparknacl=4.0.0 successfully retrieved and built.
Dependencies were solved as follows:

   +i gnat 13.2.1 (new,installed,gnat_external)
Found declared GPR file: sparknacl.gpr