Test ran at 2025-02-16 13:04:41.532509+00:00

SOLUTION:
libadalang_tools=25.0.0: Ada semantic analysis library extension and tools
Origin: source archive libadalang-tools-25.0.0.zip at https://github.com/adacore/libadalang-tools/archive/v25.0.0/libadalang-tools-25.0.0.zip with hash sha512:5304ba7e839c1b4dbcef2b28cb1cea085bcb395f54d57a4aa129975399a46056e87150be4d0d7f6a989ce8e03660ee5719089ca7dba4bd3aaea6889cd95319ca
Properties:
   Author: AdaCore
   Description: Ada semantic analysis library extension and tools
   Executable: gnatmetric
   Executable: gnatpp
   Executable: gnatstub
   Executable: gnattest
   GPR External: LALTOOLS_BUILD_MODE := prod
   License: GPL-3.0-or-later 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: 25.0.0
   Website: https://github.com/AdaCore/libadalang-tools
Dependencies (direct):
   libadalang^25.0.0
   templates_parser^25.0.0
   vss^25.0.0
Dependencies (solution):
   adasat=25.0.0
   gnat=14.2.1 (gnat_native)
   gnatcoll=25.0.0
   gnatcoll_gmp=25.0.0
   gnatcoll_iconv=25.0.0
   langkit_support=25.0.0
   libadalang=25.0.0
   libgpr=25.0.0
   libgpr2=25.0.0
   prettier_ada=25.0.0
   templates_parser=25.0.0
   vss=25.0.0
   xmlada=25.0.0
Dependencies (missing):
   libgmp* (indirect,hinted)
Dependencies (graph):
   gnatcoll=25.0.0         --> gnat=14.2.1 (gnat_native) (>=13)
   gnatcoll=25.0.0         --> libgpr=25.0.0 (~25.0.0)
   gnatcoll_gmp=25.0.0     --> gnatcoll=25.0.0 (~25.0.0)
   gnatcoll_gmp=25.0.0     --> libgmp*
   gnatcoll_iconv=25.0.0   --> gnatcoll=25.0.0 (~25.0.0)
   langkit_support=25.0.0  --> adasat=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll_gmp=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll_iconv=25.0.0 (^25)
   langkit_support=25.0.0  --> prettier_ada=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll_gmp=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll_iconv=25.0.0 (^25)
   libadalang=25.0.0       --> langkit_support=25.0.0 (^25)
   libadalang=25.0.0       --> libgpr2=25.0.0 (^25)
   libadalang_tools=25.0.0 --> libadalang=25.0.0 (^25.0.0)
   libadalang_tools=25.0.0 --> templates_parser=25.0.0 (^25.0.0)
   libadalang_tools=25.0.0 --> vss=25.0.0 (^25.0.0)
   libgpr=25.0.0           --> gnat=14.2.1 (gnat_native) (/=2020)
   libgpr=25.0.0           --> xmlada=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnat=14.2.1 (gnat_native) (>=14)
   libgpr2=25.0.0          --> gnatcoll=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnatcoll_gmp=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnatcoll_iconv=25.0.0 (~25.0.0)
   prettier_ada=25.0.0     --> gnatcoll=25.0.0 (^25)
   prettier_ada=25.0.0     --> vss=25.0.0 (^25)
   templates_parser=25.0.0 --> xmlada=25.0.0 (~25.0.0)
   vss=25.0.0              --> gnat=14.2.1 (gnat_native) (>=11 & <2000)
   xmlada=25.0.0           --> gnat=14.2.1 (gnat_native) (>=11)
Dependencies cannot be met


LOG: