Test ran at 2022-08-25 01:24:37.343128+00:00

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


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

                                                                           0.0%
##                                                                         3.9%
####                                                                       6.4%
######                                                                     9.5%
#########                                                                 13.3%
############                                                              16.7%
#############                                                             19.3%
################                                                          23.2%
####################                                                      28.3%
########################                                                  33.4%
##########################                                                37.3%
##############################                                            42.0%
###############################                                           43.9%
##################################                                        47.5%
#####################################                                     52.8%
#######################################                                   55.3%
##########################################                                59.6%
#############################################                             63.0%
##############################################                            64.3%
##################################################                        70.0%
###################################################                       72.0%
######################################################                    75.8%
##########################################################                80.8%
##############################################################            86.1%
################################################################          89.0%
##################################################################        91.9%
###################################################################       93.8%
#######################################################################   99.0%
######################################################################## 100.0%
Note: Skipping build step for binary release gnatprove=12.1.1

gnatprove=12.1.1 successfully retrieved and deployed.
There are no dependencies.