Test ran at 2024-02-10 01:27:44.100773+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 (solution): gnat=12.2.0 (gnat_external) (installed) Dependencies (graph): sparknacl=3.0.0 --> gnat=12.2.0 (gnat_external) (>=11.2.1) LOG: Note: Deploying sparknacl=3.0.0... Note: Building sparknacl/sparknacl.gpr... Setup [mkdir] object directory for project Sparknacl Compile [Ada] sparknacl-scalar.adb [Ada] sparknacl-secretbox.adb [Ada] sparknacl-pdebug.adb [Ada] sparknacl-core.adb [Ada] sparknacl-sign.adb [Ada] sparknacl-car.adb [Ada] sparknacl-hashing.adb [Ada] sparknacl-cryptobox.adb [Ada] sparknacl-stream.adb [Ada] sparknacl-utils.adb [Ada] sparknacl-debug.adb [Ada] sparknacl-mac.adb [Ada] sparknacl-sign-utils.adb [Ada] sparknacl.adb Build Libraries [gprlib] Sparknacl.lexch [archive] libSparknacl.a [index] libSparknacl.a Build finished successfully in 0.77 seconds. sparknacl=3.0.0 successfully retrieved and built. Dependencies were solved as follows: +i gnat 12.2.0 (new,installed,gnat_external) Found declared GPR file: sparknacl.gpr