Test ran at 2025-03-18 00:40:34.188031+00:00

SOLUTION:
sparknacl=4.0.1: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
Origin: commit 8e3cc2e6a67826cbfb1e36559238e03cb024a706 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.1
   Website: https://github.com/rod-chapman/SPARKNaCl
Dependencies (direct):
   gnat>=14.2.1
Dependencies (solution):
   gnat=14.2.1 (gnat_native)
Dependencies (graph):
   sparknacl=4.0.1 --> gnat=14.2.1 (gnat_native) (>=14.2.1)


LOG:
Spawning: alr -d -n get --build sparknacl=4.0.1
Note: Deploying sparknacl=4.0.1...
Note: Building sparknacl=4.0.1/sparknacl.gpr...
Setup
   [mkdir]        object directory for project Sparknacl
Compile
   [Ada]          sparknacl-core.adb
   [Ada]          sparknacl-pdebug.adb
   [Ada]          sparknacl-scalar.adb
   [Ada]          sparknacl-hashing-sha2_common.adb
   [Ada]          sparknacl-hashing-sha256.adb
   [Ada]          sparknacl-hashing.ads
   [Ada]          sparknacl-debug.adb
   [Ada]          sparknacl-sign.adb
   [Ada]          sparknacl.adb
   [Ada]          sparknacl-cryptobox.adb
   [Ada]          sparknacl-sign-utils.adb
   [Ada]          sparknacl-hashing-rfsb509.adb
   [Ada]          sparknacl-car.adb
   [Ada]          sparknacl-hashing-sha384.adb
   [Ada]          sparknacl-mac.adb
   [Ada]          sparknacl-aes.adb
   [Ada]          sparknacl-hkdf.adb
   [Ada]          sparknacl-stream.adb
   [Ada]          sparknacl-utils.adb
   [Ada]          sparknacl-hashing-sha512.adb
   [Ada]          sparknacl-secretbox.adb
Build Libraries
   [gprlib]       Sparknacl.lexch
   [archive]      libSparknacl.a
   [index]        libSparknacl.a

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

   +b gnat 14.2.1 (new,gnat_native,binary)
Found declared GPR file: sparknacl.gpr