Package: mingw-w64-ucrt-x86_64-libadalang-tools

Source Files

View Changes

View Issues

Report Issue

Base Package:

mingw-w64-libadalang-tools

Description:

Libadalang-based tools for Ada: gnatpp, gnatmetric, gnatstub and gnattest (mingw-w64)

Group(s):

Repo:

ucrt64

Homepage:

https://github.com/AdaCore/libadalang-tools

License(s):

GPL-3.0-or-later

Version:

25.0.0-1

External:

Anitya: libadalang-tools
AUR: 25.0w
Gentoo: 24.0.0-r1
Repology: libadalang-tools

Installation:

pacman -S mingw-w64-ucrt-x86_64-libadalang-tools

File:

https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-libadalang-tools-25.0.0-1-any.pkg.tar.zst

SHA256:

ac93220453cdb7db8efba9e217ca081fcef47e18cf2a321468f55fda58afa4e6

Last Packager:

CI (msys2/msys2-autobuild/98f6ea28/12950527910)

Build Date:

2025-01-24 13:34:03

Package Size:

15.09 MB

Installed Size:

107.55 MB

Source-Only Tarball:

https://mirror.msys2.org/mingw/sources/mingw-w64-libadalang-tools-25.0.0-1.src.tar.zst

Dependencies:

Optional Dependencies:

Build Dependencies:

mingw-w64-ucrt-x86_64-gprbuild

Check Dependencies:

Provides:

Conflicts:

Replaces:

Provided By:

Required By:

Files:

/ucrt64/bin/gnatmetric.exe
/ucrt64/bin/gnatpp.exe
/ucrt64/bin/gnatstub.exe
/ucrt64/bin/gnattest.exe
/ucrt64/bin/liblal_tools.dll
/ucrt64/bin/utils-var_length_ints-test.exe
/ucrt64/include/lal_tools/anonymous_typ_decl.tmplt
/ucrt64/include/lal_tools/anonymous_typ_init.tmplt
/ucrt64/include/lal_tools/array_read_write.tmplt
/ucrt64/include/lal_tools/array_size.tmplt
/ucrt64/include/lal_tools/array_size_max.tmplt
/ucrt64/include/lal_tools/array_typ_decl.tmplt
/ucrt64/include/lal_tools/array_typ_init.tmplt
/ucrt64/include/lal_tools/component_read.tmplt
/ucrt64/include/lal_tools/component_read_write.tmplt
/ucrt64/include/lal_tools/component_size.tmplt
/ucrt64/include/lal_tools/component_size_max.tmplt
/ucrt64/include/lal_tools/component_write.tmplt
/ucrt64/include/lal_tools/composite_base_spec.tmplt
/ucrt64/include/lal_tools/composite_size_max.tmplt
/ucrt64/include/lal_tools/constraint_decl.tmplt
/ucrt64/include/lal_tools/constraint_init.tmplt
/ucrt64/include/lal_tools/custom_strat_body.tmplt
/ucrt64/include/lal_tools/custom_strat_spec.tmplt
/ucrt64/include/lal_tools/default_header_spec.tmplt
/ucrt64/include/lal_tools/default_strat_spec.tmplt
/ucrt64/include/lal_tools/function_tc_dump.tmplt
/ucrt64/include/lal_tools/function_typ_init.tmplt
/ucrt64/include/lal_tools/generation_routine.tmplt
/ucrt64/include/lal_tools/header_body.tmplt
/ucrt64/include/lal_tools/header_private.tmplt
/ucrt64/include/lal_tools/header_spec.tmplt
/ucrt64/include/lal_tools/header_wrappers_body.tmplt
/ucrt64/include/lal_tools/header_wrappers_spec.tmplt
/ucrt64/include/lal_tools/in_out_body.tmplt
/ucrt64/include/lal_tools/in_out_spec.tmplt
/ucrt64/include/lal_tools/init_repr.tmplt
/ucrt64/include/lal_tools/instance_typ_decl.tmplt
/ucrt64/include/lal_tools/instance_typ_init.tmplt
/ucrt64/include/lal_tools/lal_extensions.adb
/ucrt64/include/lal_tools/lal_extensions.ads
/ucrt64/include/lal_tools/laltools-call_hierarchy.adb
/ucrt64/include/lal_tools/laltools-call_hierarchy.ads
/ucrt64/include/lal_tools/laltools-common.adb
/ucrt64/include/lal_tools/laltools-common.ads
/ucrt64/include/lal_tools/laltools-partial_gnatpp.adb
/ucrt64/include/lal_tools/laltools-partial_gnatpp.ads
/ucrt64/include/lal_tools/laltools-subprogram_hierarchy.adb
/ucrt64/include/lal_tools/laltools-subprogram_hierarchy.ads
/ucrt64/include/lal_tools/laltools.ads
/ucrt64/include/lal_tools/metrics-actions.adb
/ucrt64/include/lal_tools/metrics-actions.ads
/ucrt64/include/lal_tools/metrics-command_lines.ads
/ucrt64/include/lal_tools/metrics-line_counting.adb
/ucrt64/include/lal_tools/metrics-line_counting.ads
/ucrt64/include/lal_tools/metrics.ads
/ucrt64/include/lal_tools/pp-actions.adb
/ucrt64/include/lal_tools/pp-actions.ads
/ucrt64/include/lal_tools/pp-buffers.adb
/ucrt64/include/lal_tools/pp-buffers.ads
/ucrt64/include/lal_tools/pp-command_lines.ads
/ucrt64/include/lal_tools/pp-error_slocs.ads
/ucrt64/include/lal_tools/pp-formatting-dictionaries.adb
/ucrt64/include/lal_tools/pp-formatting-dictionaries.ads
/ucrt64/include/lal_tools/pp-formatting.adb
/ucrt64/include/lal_tools/pp-formatting.ads
/ucrt64/include/lal_tools/pp-scanner-lines.adb
/ucrt64/include/lal_tools/pp-scanner-lines.ads
/ucrt64/include/lal_tools/pp-scanner.adb
/ucrt64/include/lal_tools/pp-scanner.ads
/ucrt64/include/lal_tools/pp.adb
/ucrt64/include/lal_tools/pp.ads
/ucrt64/include/lal_tools/record_read_write.tmplt
/ucrt64/include/lal_tools/record_size.tmplt
/ucrt64/include/lal_tools/record_size_max.tmplt
/ucrt64/include/lal_tools/record_typ_decl.tmplt
/ucrt64/include/lal_tools/record_typ_init.tmplt
/ucrt64/include/lal_tools/scalar_base_private.tmplt
/ucrt64/include/lal_tools/scalar_base_spec.tmplt
/ucrt64/include/lal_tools/scalar_read_write.tmplt
/ucrt64/include/lal_tools/scalar_typ_decl.tmplt
/ucrt64/include/lal_tools/scalar_typ_init.tmplt
/ucrt64/include/lal_tools/stub-actions.adb
/ucrt64/include/lal_tools/stub-actions.ads
/ucrt64/include/lal_tools/stub-command_lines.ads
/ucrt64/include/lal_tools/stub.ads
/ucrt64/include/lal_tools/test-actions.adb
/ucrt64/include/lal_tools/test-actions.ads
/ucrt64/include/lal_tools/test-aggregator.adb
/ucrt64/include/lal_tools/test-aggregator.ads
/ucrt64/include/lal_tools/test-command_lines.ads
/ucrt64/include/lal_tools/test-common.adb
/ucrt64/include/lal_tools/test-common.ads
/ucrt64/include/lal_tools/test-generation.adb
/ucrt64/include/lal_tools/test-generation.ads
/ucrt64/include/lal_tools/test-harness-source_table.adb
/ucrt64/include/lal_tools/test-harness-source_table.ads
/ucrt64/include/lal_tools/test-harness.adb
/ucrt64/include/lal_tools/test-harness.ads
/ucrt64/include/lal_tools/test-instrument.adb
/ucrt64/include/lal_tools/test-instrument.ads
/ucrt64/include/lal_tools/test-mapping.adb
/ucrt64/include/lal_tools/test-mapping.ads
/ucrt64/include/lal_tools/test-skeleton-source_table.adb
/ucrt64/include/lal_tools/test-skeleton-source_table.ads
/ucrt64/include/lal_tools/test-skeleton.adb
/ucrt64/include/lal_tools/test-skeleton.ads
/ucrt64/include/lal_tools/test-stub.adb
/ucrt64/include/lal_tools/test-stub.ads
/ucrt64/include/lal_tools/test-subprocess.adb
/ucrt64/include/lal_tools/test-subprocess.ads
/ucrt64/include/lal_tools/test-suite_min.adb
/ucrt64/include/lal_tools/test-suite_min.ads
/ucrt64/include/lal_tools/test.ads
/ucrt64/include/lal_tools/tgen-big_int.ads
/ucrt64/include/lal_tools/tgen-big_reals.ads
/ucrt64/include/lal_tools/tgen-big_reals_aux.adb
/ucrt64/include/lal_tools/tgen-big_reals_aux.ads
/ucrt64/include/lal_tools/tgen-context.ads
/ucrt64/include/lal_tools/tgen-dependency_graph.adb
/ucrt64/include/lal_tools/tgen-dependency_graph.ads
/ucrt64/include/lal_tools/tgen-files.adb
/ucrt64/include/lal_tools/tgen-files.ads
/ucrt64/include/lal_tools/tgen-instr_support.adb
/ucrt64/include/lal_tools/tgen-instr_support.ads
/ucrt64/include/lal_tools/tgen-json-unparse.adb
/ucrt64/include/lal_tools/tgen-json-unparse.ads
/ucrt64/include/lal_tools/tgen-json.adb
/ucrt64/include/lal_tools/tgen-json.ads
/ucrt64/include/lal_tools/tgen-lal_utils.adb
/ucrt64/include/lal_tools/tgen-lal_utils.ads
/ucrt64/include/lal_tools/tgen-libgen.adb
/ucrt64/include/lal_tools/tgen-libgen.ads
/ucrt64/include/lal_tools/tgen-logging.adb
/ucrt64/include/lal_tools/tgen-logging.ads
/ucrt64/include/lal_tools/tgen-marshalling-binary_marshallers.adb
/ucrt64/include/lal_tools/tgen-marshalling-binary_marshallers.ads
/ucrt64/include/lal_tools/tgen-marshalling-json_marshallers.adb
/ucrt64/include/lal_tools/tgen-marshalling-json_marshallers.ads
/ucrt64/include/lal_tools/tgen-marshalling.adb
/ucrt64/include/lal_tools/tgen-marshalling.ads
/ucrt64/include/lal_tools/tgen-marshalling_lib.adb
/ucrt64/include/lal_tools/tgen-marshalling_lib.ads
/ucrt64/include/lal_tools/tgen-numerics.ads
/ucrt64/include/lal_tools/tgen-parse_strategy.adb
/ucrt64/include/lal_tools/tgen-parse_strategy.ads
/ucrt64/include/lal_tools/tgen-random.adb
/ucrt64/include/lal_tools/tgen-random.ads
/ucrt64/include/lal_tools/tgen-strategies.adb
/ucrt64/include/lal_tools/tgen-strategies.ads
/ucrt64/include/lal_tools/tgen-strings.adb
/ucrt64/include/lal_tools/tgen-strings.ads
/ucrt64/include/lal_tools/tgen-subprograms.adb
/ucrt64/include/lal_tools/tgen-subprograms.ads
/ucrt64/include/lal_tools/tgen-templates.ads
/ucrt64/include/lal_tools/tgen-type_representation.adb
/ucrt64/include/lal_tools/tgen-type_representation.ads
/ucrt64/include/lal_tools/tgen-types-array_types.adb
/ucrt64/include/lal_tools/tgen-types-array_types.ads
/ucrt64/include/lal_tools/tgen-types-constraints.adb
/ucrt64/include/lal_tools/tgen-types-constraints.ads
/ucrt64/include/lal_tools/tgen-types-discrete_types.adb
/ucrt64/include/lal_tools/tgen-types-discrete_types.ads
/ucrt64/include/lal_tools/tgen-types-enum_types.adb
/ucrt64/include/lal_tools/tgen-types-enum_types.ads
/ucrt64/include/lal_tools/tgen-types-int_types.adb
/ucrt64/include/lal_tools/tgen-types-int_types.ads
/ucrt64/include/lal_tools/tgen-types-real_types.adb
/ucrt64/include/lal_tools/tgen-types-real_types.ads
/ucrt64/include/lal_tools/tgen-types-record_types.adb
/ucrt64/include/lal_tools/tgen-types-record_types.ads
/ucrt64/include/lal_tools/tgen-types-translation.adb
/ucrt64/include/lal_tools/tgen-types-translation.ads
/ucrt64/include/lal_tools/tgen-types.adb
/ucrt64/include/lal_tools/tgen-types.ads
/ucrt64/include/lal_tools/tgen-wrappers.adb
/ucrt64/include/lal_tools/tgen-wrappers.ads
/ucrt64/include/lal_tools/tgen.ads
/ucrt64/include/lal_tools/util.tmplt
/ucrt64/include/lal_tools/utils-char_vectors.ads
/ucrt64/include/lal_tools/utils-command_lines-common.adb
/ucrt64/include/lal_tools/utils-command_lines-common.ads
/ucrt64/include/lal_tools/utils-command_lines.adb
/ucrt64/include/lal_tools/utils-command_lines.ads
/ucrt64/include/lal_tools/utils-dbg_out.ads
/ucrt64/include/lal_tools/utils-drivers.adb
/ucrt64/include/lal_tools/utils-drivers.ads
/ucrt64/include/lal_tools/utils-environment.adb
/ucrt64/include/lal_tools/utils-environment.ads
/ucrt64/include/lal_tools/utils-err_out.ads
/ucrt64/include/lal_tools/utils-fast_vectors.adb
/ucrt64/include/lal_tools/utils-fast_vectors.ads
/ucrt64/include/lal_tools/utils-formatted_output.ads
/ucrt64/include/lal_tools/utils-formatted_stderr.ads
/ucrt64/include/lal_tools/utils-generic_formatted_output.adb
/ucrt64/include/lal_tools/utils-generic_formatted_output.ads
/ucrt64/include/lal_tools/utils-generic_symbols.adb
/ucrt64/include/lal_tools/utils-generic_symbols.ads
/ucrt64/include/lal_tools/utils-predefined_symbols.ads
/ucrt64/include/lal_tools/utils-projects-aggregate.adb
/ucrt64/include/lal_tools/utils-projects-aggregate.ads
/ucrt64/include/lal_tools/utils-projects.adb
/ucrt64/include/lal_tools/utils-projects.ads
/ucrt64/include/lal_tools/utils-slow_vectors.adb
/ucrt64/include/lal_tools/utils-slow_vectors.ads
/ucrt64/include/lal_tools/utils-string_utilities.adb
/ucrt64/include/lal_tools/utils-string_utilities.ads
/ucrt64/include/lal_tools/utils-strings.adb
/ucrt64/include/lal_tools/utils-strings.ads
/ucrt64/include/lal_tools/utils-symbols.ads
/ucrt64/include/lal_tools/utils-test_pkg.ads
/ucrt64/include/lal_tools/utils-tool_names.adb
/ucrt64/include/lal_tools/utils-tool_names.ads
/ucrt64/include/lal_tools/utils-tools.adb
/ucrt64/include/lal_tools/utils-tools.ads
/ucrt64/include/lal_tools/utils-var_length_ints.adb
/ucrt64/include/lal_tools/utils-var_length_ints.ads
/ucrt64/include/lal_tools/utils-vectors.ads
/ucrt64/include/lal_tools/utils-versions.adb
/ucrt64/include/lal_tools/utils-versions.ads
/ucrt64/include/lal_tools/utils.adb
/ucrt64/include/lal_tools/utils.ads
/ucrt64/include/lal_tools/utils_debug.adb
/ucrt64/include/lal_tools/utils_debug.ads
/ucrt64/include/lal_tools/variant_choice_decl.tmplt
/ucrt64/include/lal_tools/variant_choice_init.tmplt
/ucrt64/include/lal_tools/variant_decl.tmplt
/ucrt64/include/lal_tools/variant_init.tmplt
/ucrt64/include/lal_tools/variant_read_write.tmplt
/ucrt64/include/lal_tools/variant_size.tmplt
/ucrt64/include/lal_tools/variant_size_max.tmplt
/ucrt64/lib/lal_tools.relocatable/lal_extensions.ali
/ucrt64/lib/lal_tools.relocatable/laltools-call_hierarchy.ali
/ucrt64/lib/lal_tools.relocatable/laltools-common.ali
/ucrt64/lib/lal_tools.relocatable/laltools-partial_gnatpp.ali
/ucrt64/lib/lal_tools.relocatable/laltools-subprogram_hierarchy.ali
/ucrt64/lib/lal_tools.relocatable/laltools.ali
/ucrt64/lib/lal_tools.relocatable/liblal_tools.dll
/ucrt64/lib/lal_tools.relocatable/metrics-actions.ali
/ucrt64/lib/lal_tools.relocatable/metrics-command_lines.ali
/ucrt64/lib/lal_tools.relocatable/metrics-line_counting.ali
/ucrt64/lib/lal_tools.relocatable/metrics.ali
/ucrt64/lib/lal_tools.relocatable/pp-actions.ali
/ucrt64/lib/lal_tools.relocatable/pp-buffers.ali
/ucrt64/lib/lal_tools.relocatable/pp-command_lines.ali
/ucrt64/lib/lal_tools.relocatable/pp-error_slocs.ali
/ucrt64/lib/lal_tools.relocatable/pp-formatting-dictionaries.ali
/ucrt64/lib/lal_tools.relocatable/pp-formatting.ali
/ucrt64/lib/lal_tools.relocatable/pp-scanner-lines.ali
/ucrt64/lib/lal_tools.relocatable/pp-scanner.ali
/ucrt64/lib/lal_tools.relocatable/pp.ali
/ucrt64/lib/lal_tools.relocatable/stub-actions.ali
/ucrt64/lib/lal_tools.relocatable/stub-command_lines.ali
/ucrt64/lib/lal_tools.relocatable/stub.ali
/ucrt64/lib/lal_tools.relocatable/test-actions.ali
/ucrt64/lib/lal_tools.relocatable/test-aggregator.ali
/ucrt64/lib/lal_tools.relocatable/test-command_lines.ali
/ucrt64/lib/lal_tools.relocatable/test-common.ali
/ucrt64/lib/lal_tools.relocatable/test-generation.ali
/ucrt64/lib/lal_tools.relocatable/test-harness-source_table.ali
/ucrt64/lib/lal_tools.relocatable/test-harness.ali
/ucrt64/lib/lal_tools.relocatable/test-instrument.ali
/ucrt64/lib/lal_tools.relocatable/test-mapping.ali
/ucrt64/lib/lal_tools.relocatable/test-skeleton-source_table.ali
/ucrt64/lib/lal_tools.relocatable/test-skeleton.ali
/ucrt64/lib/lal_tools.relocatable/test-stub.ali
/ucrt64/lib/lal_tools.relocatable/test-subprocess.ali
/ucrt64/lib/lal_tools.relocatable/test-suite_min.ali
/ucrt64/lib/lal_tools.relocatable/test.ali
/ucrt64/lib/lal_tools.relocatable/tgen-big_int.ali
/ucrt64/lib/lal_tools.relocatable/tgen-big_reals.ali
/ucrt64/lib/lal_tools.relocatable/tgen-big_reals_aux.ali
/ucrt64/lib/lal_tools.relocatable/tgen-context.ali
/ucrt64/lib/lal_tools.relocatable/tgen-dependency_graph.ali
/ucrt64/lib/lal_tools.relocatable/tgen-files.ali
/ucrt64/lib/lal_tools.relocatable/tgen-instr_support.ali
/ucrt64/lib/lal_tools.relocatable/tgen-json-unparse.ali
/ucrt64/lib/lal_tools.relocatable/tgen-json.ali
/ucrt64/lib/lal_tools.relocatable/tgen-lal_utils.ali
/ucrt64/lib/lal_tools.relocatable/tgen-libgen.ali
/ucrt64/lib/lal_tools.relocatable/tgen-logging.ali
/ucrt64/lib/lal_tools.relocatable/tgen-marshalling-binary_marshallers.ali
/ucrt64/lib/lal_tools.relocatable/tgen-marshalling-json_marshallers.ali
/ucrt64/lib/lal_tools.relocatable/tgen-marshalling.ali
/ucrt64/lib/lal_tools.relocatable/tgen-marshalling_lib.ali
/ucrt64/lib/lal_tools.relocatable/tgen-numerics.ali
/ucrt64/lib/lal_tools.relocatable/tgen-parse_strategy.ali
/ucrt64/lib/lal_tools.relocatable/tgen-random.ali
/ucrt64/lib/lal_tools.relocatable/tgen-strategies.ali
/ucrt64/lib/lal_tools.relocatable/tgen-strings.ali
/ucrt64/lib/lal_tools.relocatable/tgen-subprograms.ali
/ucrt64/lib/lal_tools.relocatable/tgen-templates.ali
/ucrt64/lib/lal_tools.relocatable/tgen-type_representation.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-array_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-constraints.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-discrete_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-enum_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-int_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-real_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-record_types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types-translation.ali
/ucrt64/lib/lal_tools.relocatable/tgen-types.ali
/ucrt64/lib/lal_tools.relocatable/tgen-wrappers.ali
/ucrt64/lib/lal_tools.relocatable/tgen.ali
/ucrt64/lib/lal_tools.relocatable/utils-char_vectors.ali
/ucrt64/lib/lal_tools.relocatable/utils-command_lines-common.ali
/ucrt64/lib/lal_tools.relocatable/utils-command_lines.ali
/ucrt64/lib/lal_tools.relocatable/utils-dbg_out.ali
/ucrt64/lib/lal_tools.relocatable/utils-drivers.ali
/ucrt64/lib/lal_tools.relocatable/utils-environment.ali
/ucrt64/lib/lal_tools.relocatable/utils-err_out.ali
/ucrt64/lib/lal_tools.relocatable/utils-fast_vectors.ali
/ucrt64/lib/lal_tools.relocatable/utils-formatted_output.ali
/ucrt64/lib/lal_tools.relocatable/utils-formatted_stderr.ali
/ucrt64/lib/lal_tools.relocatable/utils-generic_formatted_output.ali
/ucrt64/lib/lal_tools.relocatable/utils-generic_symbols.ali
/ucrt64/lib/lal_tools.relocatable/utils-predefined_symbols.ali
/ucrt64/lib/lal_tools.relocatable/utils-projects-aggregate.ali
/ucrt64/lib/lal_tools.relocatable/utils-projects.ali
/ucrt64/lib/lal_tools.relocatable/utils-slow_vectors.ali
/ucrt64/lib/lal_tools.relocatable/utils-string_utilities.ali
/ucrt64/lib/lal_tools.relocatable/utils-strings.ali
/ucrt64/lib/lal_tools.relocatable/utils-symbols.ali
/ucrt64/lib/lal_tools.relocatable/utils-test_pkg.ali
/ucrt64/lib/lal_tools.relocatable/utils-tool_names.ali
/ucrt64/lib/lal_tools.relocatable/utils-tools.ali
/ucrt64/lib/lal_tools.relocatable/utils-var_length_ints.ali
/ucrt64/lib/lal_tools.relocatable/utils-vectors.ali
/ucrt64/lib/lal_tools.relocatable/utils-versions.ali
/ucrt64/lib/lal_tools.relocatable/utils.ali
/ucrt64/lib/lal_tools.relocatable/utils_debug.ali
/ucrt64/lib/lal_tools.static-pic/lal_extensions.ali
/ucrt64/lib/lal_tools.static-pic/laltools-call_hierarchy.ali
/ucrt64/lib/lal_tools.static-pic/laltools-common.ali
/ucrt64/lib/lal_tools.static-pic/laltools-partial_gnatpp.ali
/ucrt64/lib/lal_tools.static-pic/laltools-subprogram_hierarchy.ali
/ucrt64/lib/lal_tools.static-pic/laltools.ali
/ucrt64/lib/lal_tools.static-pic/liblal_tools.a
/ucrt64/lib/lal_tools.static-pic/metrics-actions.ali
/ucrt64/lib/lal_tools.static-pic/metrics-command_lines.ali
/ucrt64/lib/lal_tools.static-pic/metrics-line_counting.ali
/ucrt64/lib/lal_tools.static-pic/metrics.ali
/ucrt64/lib/lal_tools.static-pic/pp-actions.ali
/ucrt64/lib/lal_tools.static-pic/pp-buffers.ali
/ucrt64/lib/lal_tools.static-pic/pp-command_lines.ali
/ucrt64/lib/lal_tools.static-pic/pp-error_slocs.ali
/ucrt64/lib/lal_tools.static-pic/pp-formatting-dictionaries.ali
/ucrt64/lib/lal_tools.static-pic/pp-formatting.ali
/ucrt64/lib/lal_tools.static-pic/pp-scanner-lines.ali
/ucrt64/lib/lal_tools.static-pic/pp-scanner.ali
/ucrt64/lib/lal_tools.static-pic/pp.ali
/ucrt64/lib/lal_tools.static-pic/stub-actions.ali
/ucrt64/lib/lal_tools.static-pic/stub-command_lines.ali
/ucrt64/lib/lal_tools.static-pic/stub.ali
/ucrt64/lib/lal_tools.static-pic/test-actions.ali
/ucrt64/lib/lal_tools.static-pic/test-aggregator.ali
/ucrt64/lib/lal_tools.static-pic/test-command_lines.ali
/ucrt64/lib/lal_tools.static-pic/test-common.ali
/ucrt64/lib/lal_tools.static-pic/test-generation.ali
/ucrt64/lib/lal_tools.static-pic/test-harness-source_table.ali
/ucrt64/lib/lal_tools.static-pic/test-harness.ali
/ucrt64/lib/lal_tools.static-pic/test-instrument.ali
/ucrt64/lib/lal_tools.static-pic/test-mapping.ali
/ucrt64/lib/lal_tools.static-pic/test-skeleton-source_table.ali
/ucrt64/lib/lal_tools.static-pic/test-skeleton.ali
/ucrt64/lib/lal_tools.static-pic/test-stub.ali
/ucrt64/lib/lal_tools.static-pic/test-subprocess.ali
/ucrt64/lib/lal_tools.static-pic/test-suite_min.ali
/ucrt64/lib/lal_tools.static-pic/test.ali
/ucrt64/lib/lal_tools.static-pic/tgen-big_int.ali
/ucrt64/lib/lal_tools.static-pic/tgen-big_reals.ali
/ucrt64/lib/lal_tools.static-pic/tgen-big_reals_aux.ali
/ucrt64/lib/lal_tools.static-pic/tgen-context.ali
/ucrt64/lib/lal_tools.static-pic/tgen-dependency_graph.ali
/ucrt64/lib/lal_tools.static-pic/tgen-files.ali
/ucrt64/lib/lal_tools.static-pic/tgen-instr_support.ali
/ucrt64/lib/lal_tools.static-pic/tgen-json-unparse.ali
/ucrt64/lib/lal_tools.static-pic/tgen-json.ali
/ucrt64/lib/lal_tools.static-pic/tgen-lal_utils.ali
/ucrt64/lib/lal_tools.static-pic/tgen-libgen.ali
/ucrt64/lib/lal_tools.static-pic/tgen-logging.ali
/ucrt64/lib/lal_tools.static-pic/tgen-marshalling-binary_marshallers.ali
/ucrt64/lib/lal_tools.static-pic/tgen-marshalling-json_marshallers.ali
/ucrt64/lib/lal_tools.static-pic/tgen-marshalling.ali
/ucrt64/lib/lal_tools.static-pic/tgen-marshalling_lib.ali
/ucrt64/lib/lal_tools.static-pic/tgen-numerics.ali
/ucrt64/lib/lal_tools.static-pic/tgen-parse_strategy.ali
/ucrt64/lib/lal_tools.static-pic/tgen-random.ali
/ucrt64/lib/lal_tools.static-pic/tgen-strategies.ali
/ucrt64/lib/lal_tools.static-pic/tgen-strings.ali
/ucrt64/lib/lal_tools.static-pic/tgen-subprograms.ali
/ucrt64/lib/lal_tools.static-pic/tgen-templates.ali
/ucrt64/lib/lal_tools.static-pic/tgen-type_representation.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-array_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-constraints.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-discrete_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-enum_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-int_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-real_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-record_types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types-translation.ali
/ucrt64/lib/lal_tools.static-pic/tgen-types.ali
/ucrt64/lib/lal_tools.static-pic/tgen-wrappers.ali
/ucrt64/lib/lal_tools.static-pic/tgen.ali
/ucrt64/lib/lal_tools.static-pic/utils-char_vectors.ali
/ucrt64/lib/lal_tools.static-pic/utils-command_lines-common.ali
/ucrt64/lib/lal_tools.static-pic/utils-command_lines.ali
/ucrt64/lib/lal_tools.static-pic/utils-dbg_out.ali
/ucrt64/lib/lal_tools.static-pic/utils-drivers.ali
/ucrt64/lib/lal_tools.static-pic/utils-environment.ali
/ucrt64/lib/lal_tools.static-pic/utils-err_out.ali
/ucrt64/lib/lal_tools.static-pic/utils-fast_vectors.ali
/ucrt64/lib/lal_tools.static-pic/utils-formatted_output.ali
/ucrt64/lib/lal_tools.static-pic/utils-formatted_stderr.ali
/ucrt64/lib/lal_tools.static-pic/utils-generic_formatted_output.ali
/ucrt64/lib/lal_tools.static-pic/utils-generic_symbols.ali
/ucrt64/lib/lal_tools.static-pic/utils-predefined_symbols.ali
/ucrt64/lib/lal_tools.static-pic/utils-projects-aggregate.ali
/ucrt64/lib/lal_tools.static-pic/utils-projects.ali
/ucrt64/lib/lal_tools.static-pic/utils-slow_vectors.ali
/ucrt64/lib/lal_tools.static-pic/utils-string_utilities.ali
/ucrt64/lib/lal_tools.static-pic/utils-strings.ali
/ucrt64/lib/lal_tools.static-pic/utils-symbols.ali
/ucrt64/lib/lal_tools.static-pic/utils-test_pkg.ali
/ucrt64/lib/lal_tools.static-pic/utils-tool_names.ali
/ucrt64/lib/lal_tools.static-pic/utils-tools.ali
/ucrt64/lib/lal_tools.static-pic/utils-var_length_ints.ali
/ucrt64/lib/lal_tools.static-pic/utils-vectors.ali
/ucrt64/lib/lal_tools.static-pic/utils-versions.ali
/ucrt64/lib/lal_tools.static-pic/utils.ali
/ucrt64/lib/lal_tools.static-pic/utils_debug.ali
/ucrt64/lib/lal_tools.static/lal_extensions.ali
/ucrt64/lib/lal_tools.static/laltools-call_hierarchy.ali
/ucrt64/lib/lal_tools.static/laltools-common.ali
/ucrt64/lib/lal_tools.static/laltools-partial_gnatpp.ali
/ucrt64/lib/lal_tools.static/laltools-subprogram_hierarchy.ali
/ucrt64/lib/lal_tools.static/laltools.ali
/ucrt64/lib/lal_tools.static/liblal_tools.a
/ucrt64/lib/lal_tools.static/metrics-actions.ali
/ucrt64/lib/lal_tools.static/metrics-command_lines.ali
/ucrt64/lib/lal_tools.static/metrics-line_counting.ali
/ucrt64/lib/lal_tools.static/metrics.ali
/ucrt64/lib/lal_tools.static/pp-actions.ali
/ucrt64/lib/lal_tools.static/pp-buffers.ali
/ucrt64/lib/lal_tools.static/pp-command_lines.ali
/ucrt64/lib/lal_tools.static/pp-error_slocs.ali
/ucrt64/lib/lal_tools.static/pp-formatting-dictionaries.ali
/ucrt64/lib/lal_tools.static/pp-formatting.ali
/ucrt64/lib/lal_tools.static/pp-scanner-lines.ali
/ucrt64/lib/lal_tools.static/pp-scanner.ali
/ucrt64/lib/lal_tools.static/pp.ali
/ucrt64/lib/lal_tools.static/stub-actions.ali
/ucrt64/lib/lal_tools.static/stub-command_lines.ali
/ucrt64/lib/lal_tools.static/stub.ali
/ucrt64/lib/lal_tools.static/test-actions.ali
/ucrt64/lib/lal_tools.static/test-aggregator.ali
/ucrt64/lib/lal_tools.static/test-command_lines.ali
/ucrt64/lib/lal_tools.static/test-common.ali
/ucrt64/lib/lal_tools.static/test-generation.ali
/ucrt64/lib/lal_tools.static/test-harness-source_table.ali
/ucrt64/lib/lal_tools.static/test-harness.ali
/ucrt64/lib/lal_tools.static/test-instrument.ali
/ucrt64/lib/lal_tools.static/test-mapping.ali
/ucrt64/lib/lal_tools.static/test-skeleton-source_table.ali
/ucrt64/lib/lal_tools.static/test-skeleton.ali
/ucrt64/lib/lal_tools.static/test-stub.ali
/ucrt64/lib/lal_tools.static/test-subprocess.ali
/ucrt64/lib/lal_tools.static/test-suite_min.ali
/ucrt64/lib/lal_tools.static/test.ali
/ucrt64/lib/lal_tools.static/tgen-big_int.ali
/ucrt64/lib/lal_tools.static/tgen-big_reals.ali
/ucrt64/lib/lal_tools.static/tgen-big_reals_aux.ali
/ucrt64/lib/lal_tools.static/tgen-context.ali
/ucrt64/lib/lal_tools.static/tgen-dependency_graph.ali
/ucrt64/lib/lal_tools.static/tgen-files.ali
/ucrt64/lib/lal_tools.static/tgen-instr_support.ali
/ucrt64/lib/lal_tools.static/tgen-json-unparse.ali
/ucrt64/lib/lal_tools.static/tgen-json.ali
/ucrt64/lib/lal_tools.static/tgen-lal_utils.ali
/ucrt64/lib/lal_tools.static/tgen-libgen.ali
/ucrt64/lib/lal_tools.static/tgen-logging.ali
/ucrt64/lib/lal_tools.static/tgen-marshalling-binary_marshallers.ali
/ucrt64/lib/lal_tools.static/tgen-marshalling-json_marshallers.ali
/ucrt64/lib/lal_tools.static/tgen-marshalling.ali
/ucrt64/lib/lal_tools.static/tgen-marshalling_lib.ali
/ucrt64/lib/lal_tools.static/tgen-numerics.ali
/ucrt64/lib/lal_tools.static/tgen-parse_strategy.ali
/ucrt64/lib/lal_tools.static/tgen-random.ali
/ucrt64/lib/lal_tools.static/tgen-strategies.ali
/ucrt64/lib/lal_tools.static/tgen-strings.ali
/ucrt64/lib/lal_tools.static/tgen-subprograms.ali
/ucrt64/lib/lal_tools.static/tgen-templates.ali
/ucrt64/lib/lal_tools.static/tgen-type_representation.ali
/ucrt64/lib/lal_tools.static/tgen-types-array_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-constraints.ali
/ucrt64/lib/lal_tools.static/tgen-types-discrete_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-enum_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-int_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-real_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-record_types.ali
/ucrt64/lib/lal_tools.static/tgen-types-translation.ali
/ucrt64/lib/lal_tools.static/tgen-types.ali
/ucrt64/lib/lal_tools.static/tgen-wrappers.ali
/ucrt64/lib/lal_tools.static/tgen.ali
/ucrt64/lib/lal_tools.static/utils-char_vectors.ali
/ucrt64/lib/lal_tools.static/utils-command_lines-common.ali
/ucrt64/lib/lal_tools.static/utils-command_lines.ali
/ucrt64/lib/lal_tools.static/utils-dbg_out.ali
/ucrt64/lib/lal_tools.static/utils-drivers.ali
/ucrt64/lib/lal_tools.static/utils-environment.ali
/ucrt64/lib/lal_tools.static/utils-err_out.ali
/ucrt64/lib/lal_tools.static/utils-fast_vectors.ali
/ucrt64/lib/lal_tools.static/utils-formatted_output.ali
/ucrt64/lib/lal_tools.static/utils-formatted_stderr.ali
/ucrt64/lib/lal_tools.static/utils-generic_formatted_output.ali
/ucrt64/lib/lal_tools.static/utils-generic_symbols.ali
/ucrt64/lib/lal_tools.static/utils-predefined_symbols.ali
/ucrt64/lib/lal_tools.static/utils-projects-aggregate.ali
/ucrt64/lib/lal_tools.static/utils-projects.ali
/ucrt64/lib/lal_tools.static/utils-slow_vectors.ali
/ucrt64/lib/lal_tools.static/utils-string_utilities.ali
/ucrt64/lib/lal_tools.static/utils-strings.ali
/ucrt64/lib/lal_tools.static/utils-symbols.ali
/ucrt64/lib/lal_tools.static/utils-test_pkg.ali
/ucrt64/lib/lal_tools.static/utils-tool_names.ali
/ucrt64/lib/lal_tools.static/utils-tools.ali
/ucrt64/lib/lal_tools.static/utils-var_length_ints.ali
/ucrt64/lib/lal_tools.static/utils-vectors.ali
/ucrt64/lib/lal_tools.static/utils-versions.ali
/ucrt64/lib/lal_tools.static/utils.ali
/ucrt64/lib/lal_tools.static/utils_debug.ali
/ucrt64/share/gpr/lal_tools.gpr
/ucrt64/share/gpr/manifests/lal_tools
/ucrt64/share/licenses/libadalang-tools/LICENSE