Test ran at 2023-04-11 01:59:10.680005+00:00

SOLUTION:
libadalang_tools=23.0.0: Ada semantic analysis library extension and tools
Origin: source archive libadalang-tools-23.0.0.zip at https://github.com/AdaCore/libadalang-tools/archive/v23.0.0/libadalang-tools-23.0.0.zip with hash sha512:75f926792a1c693e1d958dcb73e335e8ea32a5b0c97e79b9f4eed4121b9b1609d5f8a75e83090baf51ff9830aba2b10a7d820b9837830b9dcb7313161e3e1bca
Properties:
   case OS is
      when Windows => Post_Fetch run: ${CRATE_DIR}/./cmd.exe /c del /Q valgrind
      when others => Post_Fetch run: ${CRATE_DIR}/./rm -rf valgrind
   Author: AdaCore
   Description: Ada semantic analysis library extension and tools
   Executable: gnatmetric
   Executable: gnatpp
   Executable: gnatstub
   Executable: gnattest
   License: GPL-3.0-only WITH GCC-exception-3.1
   Maintainer: Pierre-Marie de Rodat <pmderodat@kawie.fr>
   Maintainer: Max Reznik <reznik@adacore.com>
   Maintainers_Logins: pmderodat
   Maintainers_Logins: reznikmm
   Name: libadalang_tools
   Project_File: src/lal_tools.gpr
   Project_File: src/build.gpr
   Tag: libadalang
   Tag: static-analysis
   Tag: metric
   Tag: formatting
   Tag: generator
   Tag: gnatmetric
   Tag: gnatpp
   Tag: gnatstub
   Tag: gnattest
   Version: 23.0.0
   Website: https://github.com/AdaCore/libadalang-tools
Dependencies (direct):
   libadalang^23.0.0
   templates_parser^23.0.0
Dependencies (solution):
   gnat=12.1.1 (gnat_external)
   gnatcoll=23.0.0
   gnatcoll_gmp=23.0.0
   gnatcoll_iconv=23.0.0
   langkit_support=23.0.0
   libadalang=23.0.0
   libgpr=23.0.0
   templates_parser=23.0.0
   xmlada=23.0.0
Dependencies (external):
   libgmp* (indirect,hinted)
Dependencies (graph):
   gnatcoll=23.0.0         --> libgpr=23.0.0 (~23.0.0)             
   gnatcoll_gmp=23.0.0     --> gnatcoll=23.0.0 (~23.0.0)           
   gnatcoll_gmp=23.0.0     --> libgmp*                             
   gnatcoll_iconv=23.0.0   --> gnatcoll=23.0.0 (~23.0.0)           
   langkit_support=23.0.0  --> gnatcoll=23.0.0 (^23)               
   langkit_support=23.0.0  --> gnatcoll_gmp=23.0.0 (^23)           
   langkit_support=23.0.0  --> gnatcoll_iconv=23.0.0 (^23)         
   libadalang=23.0.0       --> gnatcoll=23.0.0 (^23)               
   libadalang=23.0.0       --> gnatcoll_gmp=23.0.0 (^23)           
   libadalang=23.0.0       --> gnatcoll_iconv=23.0.0 (^23)         
   libadalang=23.0.0       --> langkit_support=23.0.0 (^23)        
   libadalang_tools=23.0.0 --> libadalang=23.0.0 (^23.0.0)         
   libadalang_tools=23.0.0 --> templates_parser=23.0.0 (^23.0.0)   
   libgpr=23.0.0           --> gnat=12.1.1 (gnat_external) (/=2020)
   libgpr=23.0.0           --> xmlada=23.0.0 (~23.0.0)             
   templates_parser=23.0.0 --> xmlada=23.0.0 (~23.0.0)             
   xmlada=23.0.0           --> gnat=12.1.1 (gnat_external) (>=11)  
Dependencies cannot be met


LOG: