Test ran at 2025-07-25 01:20:00.511995+00:00

SOLUTION:
libadalang=25.0.0: Ada semantic analysis library
Origin: source archive libadalang-25.0.0.tar.gz at https://github.com/AdaCore/libadalang/releases/download/v25.0.0/libadalang-25.0.0.tar.gz with hash sha512:0303cb0f7e7dd13d86c7439d510033780f2e68ae134b885182643345f9a7a77c36179ec5aca7be9a8545b7d9db0a87e90930329e11ff8f9407f37e10e04b2009
Properties:
   Author: AdaCore
   Description: Ada semantic analysis library
   License: Apache-2.0 WITH LLVM-exception
   Maintainer: Pierre-Marie de Rodat <pmderodat@kawie.fr>
   Maintainer: chouteau@adacore.com
   Maintainers_Logins: pmderodat
   Maintainers_Logins: Fabien-Chouteau
   Name: libadalang
   Tag: libadalang
   Tag: static-analysis
   Version: 25.0.0
   Website: https://github.com/AdaCore/libadalang
Dependencies (direct):
   gnatcoll^25
   gnatcoll_gmp^25
   gnatcoll_iconv^25
   langkit_support^25
   libgpr2^25
Dependencies (solution):
   adasat=25.0.0
   gnat=15.1.2 (gnat_native)
   gnatcoll=25.0.0
   gnatcoll_gmp=25.0.0
   gnatcoll_iconv=25.0.0
   langkit_support=25.0.0
   libgpr=25.0.0
   libgpr2=25.0.0
   prettier_ada=25.0.0
   vss=25.0.0
   xmlada=25.0.0
Dependencies (missing):
   libgmp* (indirect,hinted)
Dependencies (graph):
   gnatcoll=25.0.0        --> gnat=15.1.2 (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)
   libgpr=25.0.0          --> gnat=15.1.2 (gnat_native) (/=2020)
   libgpr=25.0.0          --> xmlada=25.0.0 (~25.0.0)
   libgpr2=25.0.0         --> gnat=15.1.2 (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)
   vss=25.0.0             --> gnat=15.1.2 (gnat_native) (>=11 & <2000)
   xmlada=25.0.0          --> gnat=15.1.2 (gnat_native) (>=11)
Dependencies cannot be met


LOG: