Test ran at 2025-02-13 01:31:42.960700+00:00 SOLUTION: langkit_support=25.0.0: Runtime support library for Langkit-generated libraries Origin: source archive langkit-25.0.0.zip at https://github.com/adacore/langkit/archive/v25.0.0/langkit-25.0.0.zip with hash sha512:7c5f49810ebc141a0c95fead0f57bf2906194598f3ba12ed1239b3f8812ffa967add7359d8d6b9f0f1bcbb01b069a89438b59380dcc3a4b9ee1b49a31bf8f5bd Properties: Author: AdaCore Description: Runtime support library for Langkit-generated libraries License: Apache-2.0 WITH LLVM-exception Maintainer: Pierre-Marie de Rodat Maintainer: chouteau@adacore.com Maintainers_Logins: pmderodat Maintainers_Logins: Fabien-Chouteau Name: langkit_support Project_File: langkit/support/langkit_support.gpr Version: 25.0.0 Website: https://github.com/AdaCore/langkit Dependencies (direct): adasat^25 gnatcoll^25 gnatcoll_gmp^25 gnatcoll_iconv^25 prettier_ada^25 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 libgmp=6.3.0 libgpr=25.0.0 prettier_ada=25.0.0 vss=25.0.0 xmlada=25.0.0 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=6.3.0 (*) 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) libgpr=25.0.0 --> gnat=14.2.1 (gnat_native) (/=2020) libgpr=25.0.0 --> xmlada=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=14.2.1 (gnat_native) (>=11 & <2000) xmlada=25.0.0 --> gnat=14.2.1 (gnat_native) (>=11) LOG: Spawning: alr -d -n get --build langkit_support=25.0.0 Note: Deploying langkit_support=25.0.0... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # Note: Deploying adasat=25.0.0... #=#=# Note: Deploying libgmp=6.3.0... The system package 'libgmp-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes debconf: delaying package configuration, since apt-utils is not installed (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 22178 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.3.0+dfsg-2ubuntu6.1) over (2:6.3.0+dfsg-2ubuntu6) ... Setting up libgmp10:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 22178 files and directories currently installed.) Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... Processing triggers for libc-bin (2.39-0ubuntu8.3) ... Note: Deploying vss=25.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll_gmp=25.0.0... #=#=# ######################################################################## 100.0% Note: Deploying gnatcoll_iconv=25.0.0... #=#=# ##O#-# Note: Deploying prettier_ada=25.0.0... #=#=# ##O#-# Note: Building langkit_support=25.0.0/langkit/support/langkit_support.gpr... Setup [mkdir] object directory for project AdaSAT [mkdir] exec directory for project AdaSAT [mkdir] library directory for project AdaSAT [mkdir] object directory for project XmlAda_Sax [mkdir] library directory for project XmlAda_Sax [mkdir] object directory for project XmlAda_Schema [mkdir] object directory for project GPR [mkdir] library directory for project GPR [mkdir] object directory for project GNATCOLL_Projects [mkdir] library directory for project GNATCOLL_Projects [mkdir] object directory for project GnatColl_GMP [mkdir] library directory for project GnatColl_GMP [mkdir] object directory for project GnatColl_Iconv [mkdir] library directory for project GnatColl_Iconv [mkdir] object directory for project VSS_GNAT [mkdir] library directory for project VSS_GNAT [mkdir] object directory for project Prettier_Ada [mkdir] library directory for project Prettier_Ada [mkdir] object directory for project Langkit_Support [mkdir] library directory for project Langkit_Support Compile [Ada] a-szuvau.adb [Ada] a-suvsau.adb [Ada] vss-implementation-ucd_normalization_utf8.ads [Ada] vss-implementation-ucd_casing_utf8.ads [Ada] vss-implementation-ucd_normalization_common.ads [Ada] vss-implementation-ucd_core.ads [Ada] vss-strings-converters-decoders-iso88597.adb [Ada] vss-strings-converters-decoders-utf8.adb [Ada] vss-implementation-utf8_normalization.adb [Ada] vss-strings-converters-decoders-shiftjis.adb [Ada] vss-strings.adb [Ada] vss-strings-formatters-generic_integers.adb [Ada] vss-strings-converters.adb [Ada] vss-strings-templates.adb [Ada] vss-implementation-fnv_hash.adb [Ada] vss-strings-cursors-markers.adb [Ada] vss-implementation-character_codes.ads [Ada] vss-strings-converters-decoders-iso885915.adb [Ada] vss-implementation-text_handlers-utf8-dynamic.adb [Ada] vss-transformers-normalization.adb [Ada] vss-strings-formatters-generic_enumerations.adb [Ada] vss-strings-converters-encoders.adb [Ada] vss-strings-converters-decoders-iso88595.adb [Ada] vss-strings-cursors-iterators-words.adb [Ada] vss-strings-converters-encoders-utf8.adb [Ada] vss-strings-converters-decoders-eucjp.adb [Ada] vss-implementation-ucd_casing.adb [Ada] vss-strings-converters-decoders-iso88591.adb [Ada] vss-implementation-text_handlers-nul.adb [Ada] vss-strings-cursors-iterators-lines.adb [Ada] vss-strings-converters-decoders.adb [Ada] vss-transformers-caseless.adb [Ada] vss-strings-cursors-iterators-characters.adb [Ada] vss-strings-cursors-markers-internals.adb [Ada] vss-implementation-text_handlers.adb [Ada] vss-strings-cursors-iterators-grapheme_clusters.adb [Ada] vss-strings-converters-decoders-gb18030-indices.ads [Ada] vss-implementation-utf8_encoding.adb [Ada] vss-strings-hash.adb [Ada] vss-implementation-text_handlers-utf8.adb [Ada] vss-implementation-text_handlers-utf8-static.adb [Ada] vss-transformers-casing.adb [Ada] vss-strings-cursors.adb [Ada] vss-strings-formatters-strings.adb [Ada] vss-characters.adb [Ada] vss-strings-converters-decoders-iso88599.adb [Ada] vss-string_vectors-internals.adb [Ada] vss-implementation-line_iterators.adb [Ada] vss-strings-converters-decoders-gb18030.adb [Ada] vss-strings-formatters-generic_modulars.adb [Ada] vss-strings-converters-decoders-eucjp-jis0212.ads [Ada] vss-strings-converters-decoders-koi8r.adb [Ada] vss-implementation-string_vectors.adb [Ada] vss-strings-conversions.adb [Ada] vss-strings-internals.adb [Ada] vss-implementation-referrers.adb [Ada] vss-implementation.ads [Ada] vss-strings-cursors-internals.adb [Ada] vss-implementation-strings.adb [Ada] vss-strings-converters-decoders-iso88596.adb [Ada] vss-strings-converters-decoders-gb18030-ranges.ads [Ada] vss-strings-converters-decoders-iso88592.adb [Ada] vss-locales.adb [Ada] vss-strings-converters-decoders-iso88598.adb [Ada] vss-string_vectors.adb [Ada] vss-strings-converters-decoders-index_jis0208.ads [Ada] vss-strings-utilities.adb [Ada] vss-implementation-utf8_casing.adb [Ada] vss-strings-formatters-booleans.ads [Ada] vss-strings-cursors-iterators.ads [Ada] vss-strings-markers.ads [Ada] vss-strings-word_iterators.ads [Ada] vss-unicode.ads [Ada] vss-characters-punctuations.ads [Ada] vss-transformers.ads [Ada] vss-strings-line_iterators.ads [Ada] vss-characters-specials.ads [Ada] vss-strings-grapheme_cluster_iterators.ads [Ada] vss-strings-formatters.ads [Ada] vss.ads [Ada] vss-strings-character_iterators.ads [Ada] vss-strings-formatters-integers.ads [Ada] vss-characters-latin.ads [Ada] vss-text_streams-file_output.adb [Ada] vss-text_streams-standards.adb [Ada] vss-stream_element_vectors.adb [Ada] vss-stream_element_vectors-conversions.adb [Ada] vss-text_streams-file_input.adb [Ada] vss-text_streams-memory_utf8_output.adb [Ada] vss-stream_element_vectors-internals.adb [Ada] vss-text_streams-memory_utf8_input.adb [Ada] vss-implementation-line_terminator.adb [Ada] vss-text_streams.ads [Ada] vss-command_line-parsers.adb [Ada] vss-environments.adb [Ada] vss-application.adb [Ada] vss-command_line.adb [Ada] vss-implementation-gcc.ads [Ada] vss-implementation-environment_utilities__posix.adb [Ada] vss-standard_paths__posix.adb [Ada] prettier_ada-document_vector_vectors.ads [Ada] prettier_ada-document_vectors.ads [Ada] prettier_ada-generic_formatters.adb [Ada] prettier_ada.ads [Ada] prettier_ada-documents-json.adb [Ada] prettier_ada-documents-implementation.adb [Ada] prettier_ada-documents.adb [Ada] prettier_ada-documents-builders.adb [Ada] prettier_ada-optionals.ads [C] iconv_support.c [Ada] gnatcoll-iconv.adb [C] gmp_support.c [C] gnatcoll-gmp-mpz_sign.c [C] gnatcoll-gmp-mpz_even_p.c [C] gnatcoll-gmp-mpz_odd_p.c [Ada] gnatcoll-gmp-integers.adb [Ada] gnatcoll-gmp.ads [Ada] gnatcoll-gmp-rational_numbers.adb [Ada] gnatcoll-gmp-integers-io.adb [Ada] gnatcoll-gmp-integers-root_extraction.adb [Ada] gnatcoll-gmp-integers-random.adb [Ada] gnatcoll-gmp-integers-number_theoretic.adb [Ada] gnatcoll-gmp-random_state.adb [Ada] gnatcoll-gmp-lib.ads [Ada] gnatcoll-gmp-integers-misc.adb [Ada] schema-dom_readers.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-decimal.adb [Ada] schema-simple_types.adb [Ada] schema-date_time.adb [Ada] schema-schema_readers.adb [Ada] schema-validators.adb [Ada] schema.adb [Ada] schema-readers.adb [Ada] dom-core-character_datas.adb [Ada] dom-core.adb [Ada] dom-core-document_fragments.ads [Ada] dom-core-processing_instructions.ads [Ada] dom-core-entity_references.ads [Ada] dom-core-elements.adb [Ada] dom-core-notations.adb [Ada] dom-core-texts.adb [Ada] dom.ads [Ada] dom-core-documents.adb [Ada] dom-readers.adb [Ada] dom-core-cdata_sections.ads [Ada] dom-core-attrs.adb [Ada] dom-core-nodes.adb [Ada] dom-core-comments.ads [Ada] dom-core-document_types.adb [Ada] input_sources-strings.adb [Ada] input_sources-file.adb [Ada] input_sources-socket.adb [Ada] input_sources-http.adb [Ada] input_sources.adb [Ada] sax-readers.adb [Ada] sax-pointers.adb [Ada] sax-models.adb [Ada] sax-symbols.adb [Ada] sax-encodings.ads [Ada] sax.ads [Ada] sax-state_machines.adb [Ada] sax-utils.adb [Ada] sax-locators.adb [Ada] sax-exceptions.adb [Ada] sax-attributes.adb [Ada] sax-htable.adb [Ada] unicode-names-grantha.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-javanese.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-thai.ads [Ada] unicode-names-avestan.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-osmanya.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-kannada.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-modi.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-samaritan.ads [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-ahom.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-names-tibetan.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-mro.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-deseret.ads [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-miao.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-names-bamum.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-emoticons.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-names-gothic.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-ancient_greek_numbers.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-names-dingbats.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-names-khmer.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-lycian.ads [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-nko.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-thaana.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-names-batak.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-telugu.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-siddham.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-kanbun.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-oriya.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-khudawadi.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-names-balinese.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-hebrew.ads [Ada] unicode.adb [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-kayah_li.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-bengali.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-duployan.ads [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-kaithi.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-hatran.ads [Ada] unicode-encodings.adb [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-runic.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-old_permic.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-vai.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-limbu.ads [Ada] unicode-ccs.adb [Ada] unicode-names-old_italic.ads [Ada] unicode-names-takri.ads [Ada] unicode-ces.adb [Ada] unicode-names-armenian.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-tamil.ads [Ada] unicode-names-mahjong_tiles.ads [C] gpr_imports.c [Ada] gpr.adb [Ada] gpr-compilation-process-waiter.adb [Ada] gpr-com.ads [Ada] gpr-jobserver.adb [Ada] gpr-nmsc.adb [Ada] gpr-dect.adb [Ada] gpr-part.adb [Ada] gpr-ext.adb [Ada] gpr-proc.adb [Ada] gpr-attr.adb [Ada] gpr-sinput.adb [Ada] gpr-compilation-sync.adb [Ada] gpr-output.adb [Ada] gpr-debug.adb [Ada] gpr-snames.adb [Ada] gpr-erroutc.adb [Ada] gpr-compilation-slave.adb [Ada] gpr-util.adb [Ada] gpr-ali.adb [Ada] gpr-strt.adb [Ada] gpr-sdefault.adb [Ada] gpr-compilation-process.adb [Ada] gpr-conf.adb [Ada] gpr-opt.ads [Ada] gpr-attr-pm.adb [Ada] gpr-names.adb [Ada] gpr-util-aux.adb [Ada] gpr-tree.adb [Ada] gpr-osint.adb [Ada] gpr-tempdir.adb [Ada] gpr-pp.adb [Ada] gpr_build_util.adb [Ada] gpr-version.adb [Ada] gpr-knowledge.adb [Ada] gpr-script.adb [Ada] gpr-scans.adb [Ada] gpr-err.adb [Ada] gpr-compilation.adb [Ada] gpr-cset.adb [Ada] gpr-env.adb [Ada] gpr-compilation-protocol.adb [Ada] gnatcoll-projects-aux.adb [Ada] gnatcoll-projects-krunch.adb [Ada] gnatcoll-projects.adb [Ada] gnatcoll-scripts-projects.adb [Ada] gnatcoll-scripts-files.adb [Ada] gnatcoll-projects-normalize.adb [Ada] adasat-decisions.adb [Ada] adasat-dpll.adb [Ada] adasat-vectors.adb [Ada] adasat-builders.adb [Ada] adasat-formulas.adb [Ada] adasat-helpers.adb [Ada] adasat-theory.ads [Ada] adasat.adb [Ada] adasat-internals.ads [Ada] langkit_support-relative_get.adb [Ada] langkit_support-internal-descriptor.ads [Ada] langkit_support-diagnostics-output.adb [Ada] langkit_support-iterators.adb [Ada] langkit_support-generic_api-unparsing.adb [Ada] langkit_support-adalog-solver_interface.adb [Ada] langkit_support-adalog-solver.adb [Ada] langkit_support-internal-conversions.ads [Ada] langkit_support-cheap_sets.adb [Ada] langkit_support.ads [Ada] langkit_support-file_readers.adb [Ada] langkit_support-symbols-precomputed.adb [Ada] langkit_support-internal-introspection.adb [Ada] langkit_support-names-maps.adb [Ada] langkit_support-generic_api-analysis.adb [Ada] langkit_support-tree_traversal_iterator.adb [Ada] langkit_support-array_utils.adb [Ada] langkit_support-vectors.adb [Ada] langkit_support-adalog-main_support.ads [Ada] langkit_support-diagnostics.adb [Ada] langkit_support-adalog-solver-diagnostics.adb [Ada] langkit_support-text.adb [Ada] langkit_support-packrat.adb [Ada] langkit_support-generic_bump_ptr.adb [Ada] langkit_support-lexical_envs.ads [Ada] langkit_support-types.ads [Ada] langkit_support-errors.ads [Ada] langkit_support-internal-analysis.adb [Ada] langkit_support-bump_ptr_vectors.adb [Ada] langkit_support-hashes.adb [Ada] langkit_support-adalog-logic_var.adb [Ada] langkit_support-bump_ptr.ads [Ada] langkit_support-slocs.adb [Ada] langkit_support-boxes.adb [Ada] langkit_support-generic_api-introspection.adb [Ada] langkit_support-internal-unparsing.ads [Ada] langkit_support-lexical_envs_impl.adb [Ada] langkit_support-internal.ads [Ada] langkit_support-names.adb [Ada] langkit_support-adalog-debug.adb [Ada] langkit_support-symbols.adb [Ada] langkit_support-adalog.ads [Ada] langkit_support-generic_api.adb [Ada] langkit_support-images.adb [Ada] langkit_support-token_data_handlers.adb [Ada] langkit_support-adalog-generic_main_support.adb [Ada] langkit_support-prettier_utils.adb Build Libraries [gprlib] adasat.lexch [gprlib] xmlada_unicode.lexch [archive] libadasat.a [gprlib] xmlada_input_sources.lexch [archive] libxmlada_unicode.a [index] libadasat.a [index] libxmlada_unicode.a [gprlib] xmlada_sax.lexch [archive] libxmlada_input_sources.a [index] libxmlada_input_sources.a [gprlib] xmlada_dom.lexch [archive] libxmlada_sax.a [index] libxmlada_sax.a [gprlib] xmlada_schema.lexch [archive] libxmlada_dom.a [index] libxmlada_dom.a [gprlib] gpr.lexch [archive] libxmlada_schema.a [index] libxmlada_schema.a [gprlib] gnatcoll_projects.lexch [archive] libgpr.a [index] libgpr.a [gprlib] gnatcoll_gmp.lexch [gprlib] gnatcoll_iconv.lexch [gprlib] vss-gnat.lexch [archive] libgnatcoll_projects.a [archive] libgnatcoll_gmp.a [archive] libgnatcoll_iconv.a [archive] libvss-gnat.a [gprlib] vss.lexch [index] libgnatcoll_gmp.a [index] libgnatcoll_iconv.a [index] libvss-gnat.a [gprlib] prettier_ada.lexch [archive] libvss.a [index] libgnatcoll_projects.a [index] libvss.a [archive] libprettier_ada.a [index] libprettier_ada.a [gprlib] langkit_support.lexch [bind SAL] langkit_support [Ada] b__langkit_support.adb [objcopy] p__langkit_support_0.o [archive] liblangkit_support.a [index] liblangkit_support.a langkit_support=25.0.0 successfully retrieved and built. Dependencies were solved as follows: + adasat 25.0.0 (new) +b gnat 14.2.1 (new,gnat_native,indirect,binary) + gnatcoll 25.0.0 (new) + gnatcoll_gmp 25.0.0 (new) + gnatcoll_iconv 25.0.0 (new) +b libgmp 6.3.0 (new,indirect,system package) + libgpr 25.0.0 (new,indirect) + prettier_ada 25.0.0 (new) + vss 25.0.0 (new,indirect) + xmlada 25.0.0 (new,indirect) Found declared GPR file: langkit/support/langkit_support.gpr