Test ran at 2024-09-18 01:29:24.462255+00:00

SOLUTION:
gnatprove=13.2.1: Automatic formal verification of SPARK code
Origin: (case OS is Linux => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-linux-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz), Macos => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-darwin-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-darwin-13.2.0-1.tar.gz), Windows => (case Host_Arch is X86_64 => binary archive gnatprove-x86_64-windows64-13.2.0-1.tar.gz at https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz)) with hash sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017
Properties:
   Auto_Gpr_With: auto-gpr-with=false
   Configuration: no modifiers
   Description: Automatic formal verification of SPARK code
   Environment: GPR_PROJECT_PATH=${CRATE_ROOT}/lib/gnat:${GPR_PROJECT_PATH}
   Environment: PATH=${CRATE_ROOT}/bin:${PATH}
   License: GPL-3.0-or-later
   Maintainer: chouteau@adacore.com
   Maintainers_Logins: Fabien-Chouteau
   Name: gnatprove
   Version: 13.2.1


LOG:
Note: Deploying gnatprove=13.2.1...
#=#=#                                                                          

                                                                           0.0%
##                                                                         2.8%
####                                                                       5.7%
######                                                                     8.4%
########                                                                  11.3%
##########                                                                14.1%
############                                                              16.9%
##############                                                            19.7%
################                                                          23.0%
##################                                                        25.3%
####################                                                      28.5%
######################                                                    31.4%
########################                                                  33.9%
##########################                                                36.6%
############################                                              39.4%
##############################                                            42.3%
################################                                          45.0%
##################################                                        47.8%
####################################                                      50.6%
######################################                                    53.4%
########################################                                  56.3%
##########################################                                59.1%
############################################                              61.9%
##############################################                            64.7%
################################################                          67.5%
##################################################                        70.3%
####################################################                      73.1%
######################################################                    75.9%
########################################################                  78.7%
##########################################################                81.5%
############################################################              84.4%
##############################################################            87.2%
################################################################          90.0%
##################################################################        92.8%
####################################################################      95.6%
######################################################################    98.4%
######################################################################## 100.0%

gnatprove=13.2.1 successfully retrieved.
There are no dependencies.
Warning: Binary release does not contain default project file: gnatprove.gpr