Test ran at 2023-04-27 01:32:43.884690+00:00 SOLUTION: spat=1.3.0: SPAT - SPARK Proof Analysis Tool Origin: commit 4ad4ab14447ac8cbbedcb8d47f026a66a73551d7 from https://github.com/HeisenbugLtd/spat.git Properties: Author: Vinzent "Jellix" Saranen Description: SPAT - SPARK Proof Analysis Tool Executable: run_spat License: WTFPL Long_Description: SPAT - SPARK Proof Analysis Tools Helper tool to obtain, analyse, sort, and filter timing information about `gnatprove` runs (`SPARK` tools). Maintainer: vinzent@heisenbug.eu Maintainers_Logins: Jellix Name: spat Project_File: spat.gpr Tag: spark Version: 1.3.0 Website: https://github.heisenbug.eu/spat Dependencies (direct): case Toolchain is when System => gnatcoll>=19 si_units~0.2 Dependencies (solution): gnat=10.2.1 (gnat_external) (installed) gnatcoll=21.0.0 libgpr=21.0.0 si_units=0.2.0 xmlada=21.0.0 Dependencies (graph): gnatcoll=21.0.0 --> libgpr=21.0.0 (~21.0.0) libgpr=21.0.0 --> gnat=10.2.1 (gnat_external) (/=2021) libgpr=21.0.0 --> xmlada=21.0.0 (~21.0.0) spat=1.3.0 --> gnatcoll=21.0.0 (>=19) spat=1.3.0 --> si_units=0.2.0 (~0.2) LOG: Note: Deploying spat=1.3.0... Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/39824627-bff8-4d9f-a475-6d1d06e033b9/spat_1.3.0_4ad4ab14/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/39824627-bff8-4d9f-a475-6d1d06e033b9/spat_1.3.0_4ad4ab14/alire/alire.lock Note: Deploying si_units=0.2.0... Note: Deploying xmlada=21.0.0... #=#=# ##=#=# Note: Running post_fetch actions for xmlada=21.0.0... checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking whether gnat can build shared libs... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes configure: creating ./config.status config.status: creating xmlada_shared.gpr config.status: creating Makefile config.status: creating tests/dom/default.gpr Note: Deploying libgpr=21.0.0... #=#=# ##O#-# ##=O#- # Note: Deploying gnatcoll=21.0.0... #=#=# ##O#-# ##=O#- # Note: Building spat/spat.gpr... Setup [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 [mkdir] library directory for project GnatColl [mkdir] object directory for project SI_Units [mkdir] library directory for project SI_Units Compile [Ada] run_spat.adb [Ada] si_units-float_io.ads [Ada] si_units.ads [Ada] si_units-metric.adb [Ada] si_units-binary-scaling.adb [Ada] si_units-binary.adb [Ada] si_units-names.ads [Ada] si_units-metric-scaling.adb [Ada] schema-decimal.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-simple_types.adb [Ada] schema-validators.adb [Ada] schema.adb [Ada] schema-readers.adb [Ada] schema-date_time.adb [Ada] schema-schema_readers.adb [Ada] schema-dom_readers.adb [Ada] dom.ads [Ada] dom-core-document_fragments.ads [Ada] dom-core-elements.adb [Ada] dom-core-document_types.adb [Ada] dom-core-processing_instructions.ads [Ada] dom-core-notations.adb [Ada] dom-core-documents.adb [Ada] dom-core-character_datas.adb [Ada] dom-core-texts.adb [Ada] dom-core-attrs.adb [Ada] dom-readers.adb [Ada] dom-core-nodes.adb [Ada] dom-core-cdata_sections.ads [Ada] dom-core-comments.ads [Ada] dom-core-entity_references.ads [Ada] dom-core.adb [Ada] input_sources.adb [Ada] input_sources-http.adb [Ada] input_sources-file.adb [Ada] input_sources-socket.adb [Ada] input_sources-strings.adb [Ada] sax-utils.adb [Ada] sax-encodings.ads [Ada] sax-readers.adb [Ada] sax-exceptions.adb [Ada] sax-models.adb [Ada] sax-htable.adb [Ada] sax-attributes.adb [Ada] sax-symbols.adb [Ada] sax-state_machines.adb [Ada] sax-pointers.adb [Ada] sax.ads [Ada] sax-locators.adb [Ada] unicode-names-duployan.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-lycian.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-takri.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-oriya.ads [Ada] unicode-names-mahjong_tiles.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-samaritan.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-names-mro.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-siddham.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-batak.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-names-ancient_greek_numbers.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-balinese.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-dingbats.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-hatran.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-limbu.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-names-kaithi.ads [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-khmer.ads [Ada] unicode-encodings.adb [Ada] unicode-names-emoticons.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-gothic.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-tibetan.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-names-telugu.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-ces.adb [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode.adb [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-avestan.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-thai.ads [Ada] unicode-names-vai.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-hebrew.ads [Ada] unicode-ccs.adb [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-names-modi.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-thaana.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-ahom.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-grantha.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-names-nko.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-old_permic.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-names-kannada.ads [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-bamum.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-khudawadi.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-tamil.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-miao.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-kanbun.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-deseret.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-old_italic.ads [Ada] unicode-names-armenian.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-runic.ads [Ada] unicode-names-osmanya.ads [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-bengali.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-javanese.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-kayah_li.ads [C] gpr_imports.c [Ada] gpr-com.ads [Ada] gpr-compilation-protocol.adb [Ada] gpr-compilation.adb [Ada] gpr-version.adb [Ada] gpr-util-aux.adb [Ada] gpr-opt.ads [Ada] gpr-snames.adb [Ada] gpr-attr-pm.adb [Ada] gpr-err.adb [Ada] gpr-osint.adb [Ada] gpr-compilation-sync.adb [Ada] gpr-nmsc.adb [Ada] gpr-compilation-process.adb [Ada] gpr.adb [Ada] gpr-util.adb [Ada] gpr-compilation-slave.adb [Ada] gpr_build_util.adb [Ada] gpr-strt.adb [Ada] gpr-dect.adb [Ada] gpr-tempdir.adb [Ada] gpr-part.adb [Ada] gpr-attr.adb [Ada] gpr-erroutc.adb [Ada] gpr-compilation-process-waiter.adb [Ada] gpr-cset.adb [Ada] gpr-scans.adb [Ada] gpr-sdefault.ads [Ada] gpr-sinput.adb [Ada] gpr-script.adb [Ada] gpr-pp.adb [Ada] gpr-tree.adb [Ada] gpr-output.adb [Ada] gpr-ali.adb [Ada] gpr-env.adb [Ada] gpr-debug.adb [Ada] gpr-names.adb [Ada] gpr-knowledge.adb [Ada] gpr-proc.adb [Ada] gpr-ext.adb [Ada] gpr-conf.adb [C] set_std_prefix.c [C] getRSS.c [C] terminals.c [C] separate_run_path_option.c [C] update_path.c [C] executable_path.c [C] run_path_option.c [C] objlist_file.c [C] link_max.c [C] gnatcoll_support.c [Ada] gnatcoll-paragraph_filling-words.adb [Ada] gnatcoll-paragraph_filling.adb [Ada] gnatcoll-paragraph_filling-badnesses.adb [Ada] gnatcoll-strings_impl.adb [Ada] gnatcoll-storage_pools-headers.adb [Ada] gnatcoll-refcount-weakref.adb [Ada] gnatcoll-vfs_utils.adb [Ada] gnatcoll-any_types.adb [Ada] gnatcoll-projects-aux.adb [Ada] gnatcoll-pools.adb [Ada] gnatcoll-coders-streams.adb [Ada] gnatcoll-symbols.adb [Ada] gnatcoll-terminal.adb [Ada] gnatcoll-scripts-utils.adb [Ada] gnatcoll-boyer_moore.adb [Ada] gnatcoll-projects-normalize.adb [Ada] gnatcoll-email-mailboxes.adb [Ada] gnatcoll-coders-base64.adb [Ada] gnatcoll-traces.adb [Ada] gnatcoll.ads [Ada] gnatcoll-json.adb [Ada] gnatcoll-scripts-shell.adb [Ada] gnatcoll-geometry.adb [Ada] gnatcoll-projects.adb [Ada] gnatcoll-refcount.adb [Ada] gnatcoll-storage_pools.ads [Ada] gnatcoll-storage_pools-alignment.adb [Ada] gnatcoll-config.adb [Ada] gnatcoll-io-native.adb [Ada] gnatcoll-io.adb [Ada] gnatcoll-io-remote-windows.adb [Ada] gnatcoll-remote.ads [Ada] gnatcoll-format_columns_vertical.ads [Ada] gnatcoll-io-remote.adb [Ada] gnatcoll-email.adb [Ada] gnatcoll-json-utility.adb [Ada] gnatcoll-templates.adb [Ada] gnatcoll-scripts-files.adb [Ada] gnatcoll-vfs_types.ads [Ada] gnatcoll-atomic.adb [Ada] gnatcoll-strings.ads [Ada] gnatcoll-vfs.adb [Ada] gnatcoll-io-remote-unix.adb [Ada] gnatcoll-locks.adb [Ada] gnatcoll-mmap.adb [Ada] gnatcoll-scripts-impl.adb [Ada] gnatcoll-coders.adb [Ada] gnatcoll-scripts.adb [Ada] gnatcoll-os.ads [Ada] gnatcoll-scripts-projects.adb [Ada] gnatcoll-tribooleans.adb [Ada] gnatcoll-formatters.adb [Ada] gnatcoll-memory.adb [Ada] gnatcoll-string_builders.adb [Ada] gnatcoll-email-parser.adb [Ada] gnatcoll-opt_parse.adb [Ada] gnatcoll-arg_lists.adb [Ada] gnatcoll-promises.adb [Ada] gnatcoll-asserts.adb [Ada] gnatcoll-remote-db.adb [Ada] gnatcoll-projects-krunch.adb [Ada] gnatcoll-path.adb [Ada] gnatcoll-email-utils.adb [Ada] gnatcoll-utils.adb [Ada] gnatcoll-mmap-system__unix.adb [Ada] gnatcoll-plugins__unix.adb [Ada] gnatcoll-os-constants__unix.ads [Ada] spat.adb [Ada] spat-command_line.adb [Ada] spat-entity.ads [Ada] spat-entity-tree.adb [Ada] spat-gpr_support.adb [Ada] spat-log.adb [Ada] spat-proof_attempt.adb [Ada] spat-proof_item.adb [Ada] spat-spark_files.adb [Ada] spat-spark_info.adb [Ada] spat-spark_info-heuristics.adb [Ada] spat-stop_watch.adb [Ada] spat-string_tables.adb [Ada] spat-strings.ads [Ada] spat-version.ads [Ada] gnatcoll-opt_parse-extension.adb [Ada] spat-unique_ids.adb [Ada] spat-field_names.ads [Ada] spat-preconditions.adb [Ada] spat-proof_attempt-list.adb [Ada] spat-entity_location.adb [Ada] spat-entity_line.adb [Ada] spat-flow_item.adb [Ada] spat-timing_item.adb [Ada] spat-string_vectors.adb Build Libraries [gprlib] xmlada_unicode.lexch [gprlib] xmlada_input_sources.lexch [archive] libxmlada_unicode.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.lexch [archive] libgpr.a [index] libgpr.a [gprlib] si_units.lexch [archive] libgnatcoll.a [archive] libsi_units.a [index] libsi_units.a [index] libgnatcoll.a Bind [gprbind] run_spat.bexch [Ada] run_spat.ali Link [link] run_spat.adb Build finished successfully in 105.50 seconds. spat=1.3.0 successfully retrieved and built. Dependencies were solved as follows: +i gnat 10.2.1 (new,installed,gnat_external,indirect) + gnatcoll 21.0.0 (new) + libgpr 21.0.0 (new,indirect) + si_units 0.2.0 (new) + xmlada 21.0.0 (new,indirect) Found declared GPR file: spat.gpr