Test ran at 2023-04-09 13:03:40.377294+00:00 SOLUTION: rejuvenation=23.0.0: Analysis and manipulation of Ada code based on concrete patterns Origin: commit 507c1f003c5f93db2bed42d0d9ef9fe2e9888d50 from https://github.com/TNO/Rejuvenation-Ada.git Properties: Author: Pierre van de Laar Author: Arjan J. Mooij Description: Analysis and manipulation of Ada code based on concrete patterns License: BSD-3-Clause Maintainer: Pierre van de Laar Maintainers_Logins: pjljvandelaar Name: rejuvenation Tag: analysis Tag: manipulation Tag: transformation Version: 23.0.0 Website: https://github.com/TNO/Rejuvenation-Ada Dependencies (direct): libadalang^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 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) libgpr=23.0.0 --> gnat=12.1.1 (gnat_external) (/=2020) libgpr=23.0.0 --> xmlada=23.0.0 (~23.0.0) rejuvenation=23.0.0 --> libadalang=23.0.0 (^23.0.0) xmlada=23.0.0 --> gnat=12.1.1 (gnat_external) (>=11) Dependencies cannot be met LOG: