Base Package:
mingw-w64-libadalang

Description:
Library for parsing and semantic analysis of Ada code (mingw-w64)
Group(s):
-
Repo:
ucrt64
Homepage:
https://github.com/AdaCore/libadalang
License(s):
Apache-2.0 WITH LLVM-exception
Version:
24.0.0-3
External:
Anitya
libadalang
AUR
25.0w
Gentoo
24.0.0-r1
Repology
libadalang

Installation:
pacman -S mingw-w64-ucrt-x86_64-libadalang
File:
https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-libadalang-24.0.0-3-any.pkg.tar.zst
SHA256:
07adb52543bed34a86f88aa0c2ae928a75b16993f89389a68a7fde548d6fe109
Last Packager:
CI (msys2/msys2-autobuild/00495cb2/9985679754)
Build Date:
2024-07-18 05:10:02
Package Size:
65.16 MB
Installed Size:
429.09 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-libadalang-24.0.0-3.src.tar.zst

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:
-

Files:
/ucrt64/bin/lal_dda.exe
/ucrt64/bin/lal_parse.exe
/ucrt64/bin/lal_playground
/ucrt64/bin/lal_prep.exe
/ucrt64/bin/libadalang.dll
/ucrt64/bin/nameres.exe
/ucrt64/bin/navigate.exe
/ucrt64/include/libadalang/libadalang-analysis.adb
/ucrt64/include/libadalang/libadalang-analysis.ads
/ucrt64/include/libadalang/libadalang-auto_provider.adb
/ucrt64/include/libadalang/libadalang-auto_provider.ads
/ucrt64/include/libadalang/libadalang-c.adb
/ucrt64/include/libadalang/libadalang-c.ads
/ucrt64/include/libadalang/libadalang-common.adb
/ucrt64/include/libadalang/libadalang-common.ads
/ucrt64/include/libadalang/libadalang-config_pragmas.adb
/ucrt64/include/libadalang/libadalang-config_pragmas.ads
/ucrt64/include/libadalang/libadalang-config_pragmas_impl.adb
/ucrt64/include/libadalang/libadalang-config_pragmas_impl.ads
/ucrt64/include/libadalang/libadalang-data_decomposition.adb
/ucrt64/include/libadalang/libadalang-data_decomposition.ads
/ucrt64/include/libadalang/libadalang-debug.adb
/ucrt64/include/libadalang/libadalang-debug.ads
/ucrt64/include/libadalang/libadalang-doc_utils.adb
/ucrt64/include/libadalang/libadalang-doc_utils.ads
/ucrt64/include/libadalang/libadalang-env_hooks.adb
/ucrt64/include/libadalang/libadalang-env_hooks.ads
/ucrt64/include/libadalang/libadalang-expr_eval.adb
/ucrt64/include/libadalang/libadalang-expr_eval.ads
/ucrt64/include/libadalang/libadalang-generic_api-introspection.ads
/ucrt64/include/libadalang/libadalang-generic_api.adb
/ucrt64/include/libadalang/libadalang-generic_api.ads
/ucrt64/include/libadalang/libadalang-gpr_impl.adb
/ucrt64/include/libadalang/libadalang-gpr_impl.ads
/ucrt64/include/libadalang/libadalang-gpr_utils.adb
/ucrt64/include/libadalang/libadalang-gpr_utils.ads
/ucrt64/include/libadalang/libadalang-helpers.adb
/ucrt64/include/libadalang/libadalang-helpers.ads
/ucrt64/include/libadalang/libadalang-implementation-c-extensions.adb
/ucrt64/include/libadalang/libadalang-implementation-c-extensions.ads
/ucrt64/include/libadalang/libadalang-implementation-c.adb
/ucrt64/include/libadalang/libadalang-implementation-c.ads
/ucrt64/include/libadalang/libadalang-implementation-extensions.adb
/ucrt64/include/libadalang/libadalang-implementation-extensions.ads
/ucrt64/include/libadalang/libadalang-implementation.adb
/ucrt64/include/libadalang/libadalang-implementation.ads
/ucrt64/include/libadalang/libadalang-internal_default_provider.adb
/ucrt64/include/libadalang/libadalang-internal_default_provider.ads
/ucrt64/include/libadalang/libadalang-iterators-extensions.adb
/ucrt64/include/libadalang/libadalang-iterators-extensions.ads
/ucrt64/include/libadalang/libadalang-iterators.adb
/ucrt64/include/libadalang/libadalang-iterators.ads
/ucrt64/include/libadalang/libadalang-lexer.adb
/ucrt64/include/libadalang/libadalang-lexer.ads
/ucrt64/include/libadalang/libadalang-lexer_implementation.adb
/ucrt64/include/libadalang/libadalang-lexer_implementation.ads
/ucrt64/include/libadalang/libadalang-lexer_state_machine.adb
/ucrt64/include/libadalang/libadalang-lexer_state_machine.ads
/ucrt64/include/libadalang/libadalang-parsers.adb
/ucrt64/include/libadalang/libadalang-parsers.ads
/ucrt64/include/libadalang/libadalang-pp_impl.adb
/ucrt64/include/libadalang/libadalang-pp_impl.ads
/ucrt64/include/libadalang/libadalang-pp_lexer.adb
/ucrt64/include/libadalang/libadalang-pp_lexer.ads
/ucrt64/include/libadalang/libadalang-preprocessing.adb
/ucrt64/include/libadalang/libadalang-preprocessing.ads
/ucrt64/include/libadalang/libadalang-private_converters.adb
/ucrt64/include/libadalang/libadalang-private_converters.ads
/ucrt64/include/libadalang/libadalang-project_provider.adb
/ucrt64/include/libadalang/libadalang-project_provider.ads
/ucrt64/include/libadalang/libadalang-public_converters.adb
/ucrt64/include/libadalang/libadalang-public_converters.ads
/ucrt64/include/libadalang/libadalang-rewriting.adb
/ucrt64/include/libadalang/libadalang-rewriting.ads
/ucrt64/include/libadalang/libadalang-sources.adb
/ucrt64/include/libadalang/libadalang-sources.ads
/ucrt64/include/libadalang/libadalang-unit_files.adb
/ucrt64/include/libadalang/libadalang-unit_files.ads
/ucrt64/include/libadalang/libadalang-unparsing.adb
/ucrt64/include/libadalang/libadalang-unparsing.ads
/ucrt64/include/libadalang/libadalang.ads
/ucrt64/include/libadalang/libadalang.h
/ucrt64/java/Makefile
/ucrt64/java/jni/jni_impl.c
/ucrt64/java/pom.xml
/ucrt64/java/src/main/java/com/adacore/libadalang/Libadalang.java
/ucrt64/lib/libadalang.relocatable/libadalang-analysis.ali
/ucrt64/lib/libadalang.relocatable/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-c.ali
/ucrt64/lib/libadalang.relocatable/libadalang-common.ali
/ucrt64/lib/libadalang.relocatable/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.relocatable/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.relocatable/libadalang-debug.ali
/ucrt64/lib/libadalang.relocatable/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.relocatable/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.relocatable/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.relocatable/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.relocatable/libadalang-generic_api.ali
/ucrt64/lib/libadalang.relocatable/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.relocatable/libadalang-helpers.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-implementation.ali
/ucrt64/lib/libadalang.relocatable/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.relocatable/libadalang-iterators.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.relocatable/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.relocatable/libadalang-parsers.ali
/ucrt64/lib/libadalang.relocatable/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.relocatable/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.relocatable/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.relocatable/libadalang-private_converters.ali
/ucrt64/lib/libadalang.relocatable/libadalang-project_provider.ali
/ucrt64/lib/libadalang.relocatable/libadalang-public_converters.ali
/ucrt64/lib/libadalang.relocatable/libadalang-rewriting.ali
/ucrt64/lib/libadalang.relocatable/libadalang-sources.ali
/ucrt64/lib/libadalang.relocatable/libadalang-unit_files.ali
/ucrt64/lib/libadalang.relocatable/libadalang-unparsing.ali
/ucrt64/lib/libadalang.relocatable/libadalang.ali
/ucrt64/lib/libadalang.relocatable/libadalang.dll
/ucrt64/lib/libadalang.static-pic/libadalang-analysis.ali
/ucrt64/lib/libadalang.static-pic/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-c.ali
/ucrt64/lib/libadalang.static-pic/libadalang-common.ali
/ucrt64/lib/libadalang.static-pic/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.static-pic/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.static-pic/libadalang-debug.ali
/ucrt64/lib/libadalang.static-pic/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.static-pic/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.static-pic/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.static-pic/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.static-pic/libadalang-generic_api.ali
/ucrt64/lib/libadalang.static-pic/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.static-pic/libadalang-helpers.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-implementation.ali
/ucrt64/lib/libadalang.static-pic/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.static-pic/libadalang-iterators.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.static-pic/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.static-pic/libadalang-parsers.ali
/ucrt64/lib/libadalang.static-pic/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.static-pic/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.static-pic/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.static-pic/libadalang-private_converters.ali
/ucrt64/lib/libadalang.static-pic/libadalang-project_provider.ali
/ucrt64/lib/libadalang.static-pic/libadalang-public_converters.ali
/ucrt64/lib/libadalang.static-pic/libadalang-rewriting.ali
/ucrt64/lib/libadalang.static-pic/libadalang-sources.ali
/ucrt64/lib/libadalang.static-pic/libadalang-unit_files.ali
/ucrt64/lib/libadalang.static-pic/libadalang-unparsing.ali
/ucrt64/lib/libadalang.static-pic/libadalang.a
/ucrt64/lib/libadalang.static-pic/libadalang.ali
/ucrt64/lib/libadalang.static/libadalang-analysis.ali
/ucrt64/lib/libadalang.static/libadalang-auto_provider.ali
/ucrt64/lib/libadalang.static/libadalang-c.ali
/ucrt64/lib/libadalang.static/libadalang-common.ali
/ucrt64/lib/libadalang.static/libadalang-config_pragmas.ali
/ucrt64/lib/libadalang.static/libadalang-config_pragmas_impl.ali
/ucrt64/lib/libadalang.static/libadalang-data_decomposition.ali
/ucrt64/lib/libadalang.static/libadalang-debug.ali
/ucrt64/lib/libadalang.static/libadalang-doc_utils.ali
/ucrt64/lib/libadalang.static/libadalang-env_hooks.ali
/ucrt64/lib/libadalang.static/libadalang-expr_eval.ali
/ucrt64/lib/libadalang.static/libadalang-generic_api-introspection.ali
/ucrt64/lib/libadalang.static/libadalang-generic_api.ali
/ucrt64/lib/libadalang.static/libadalang-gpr_impl.ali
/ucrt64/lib/libadalang.static/libadalang-gpr_utils.ali
/ucrt64/lib/libadalang.static/libadalang-helpers.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-c-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-c.ali
/ucrt64/lib/libadalang.static/libadalang-implementation-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-implementation.ali
/ucrt64/lib/libadalang.static/libadalang-internal_default_provider.ali
/ucrt64/lib/libadalang.static/libadalang-iterators-extensions.ali
/ucrt64/lib/libadalang.static/libadalang-iterators.ali
/ucrt64/lib/libadalang.static/libadalang-lexer.ali
/ucrt64/lib/libadalang.static/libadalang-lexer_implementation.ali
/ucrt64/lib/libadalang.static/libadalang-lexer_state_machine.ali
/ucrt64/lib/libadalang.static/libadalang-parsers.ali
/ucrt64/lib/libadalang.static/libadalang-pp_impl.ali
/ucrt64/lib/libadalang.static/libadalang-pp_lexer.ali
/ucrt64/lib/libadalang.static/libadalang-preprocessing.ali
/ucrt64/lib/libadalang.static/libadalang-private_converters.ali
/ucrt64/lib/libadalang.static/libadalang-project_provider.ali
/ucrt64/lib/libadalang.static/libadalang-public_converters.ali
/ucrt64/lib/libadalang.static/libadalang-rewriting.ali
/ucrt64/lib/libadalang.static/libadalang-sources.ali
/ucrt64/lib/libadalang.static/libadalang-unit_files.ali
/ucrt64/lib/libadalang.static/libadalang-unparsing.ali
/ucrt64/lib/libadalang.static/libadalang.a
/ucrt64/lib/libadalang.static/libadalang.ali
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/METADATA
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/RECORD
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/WHEEL
/ucrt64/lib/python3.11/site-packages/Libadalang-0.1.dist-info/top_level.txt
/ucrt64/lib/python3.11/site-packages/libadalang/__init__.py
/ucrt64/lib/python3.11/site-packages/libadalang/__pycache__/__init__.cpython-311.opt-1.pyc
/ucrt64/lib/python3.11/site-packages/libadalang/__pycache__/__init__.cpython-311.pyc
/ucrt64/lib/python3.11/site-packages/libadalang/py.typed
/ucrt64/lib/windows/
/ucrt64/ocaml/dune
/ucrt64/ocaml/dune-project
/ucrt64/ocaml/libadalang.ml
/ucrt64/ocaml/libadalang.mli
/ucrt64/ocaml/libadalang.opam
/ucrt64/python/libadalang/__init__.py
/ucrt64/python/libadalang/py.typed
/ucrt64/python/setup.py
/ucrt64/share/examples/libadalang/check_deref_null.py
/ucrt64/share/examples/libadalang/check_same_logic.py
/ucrt64/share/examples/libadalang/check_same_operands.py
/ucrt64/share/examples/libadalang/check_same_test.py
/ucrt64/share/examples/libadalang/check_same_then_else.py
/ucrt64/share/examples/libadalang/check_subp_boxes.py
/ucrt64/share/examples/libadalang/check_test_not_null.py
/ucrt64/share/examples/libadalang/check_useless_assign.py
/ucrt64/share/examples/libadalang/detect_copy_paste_sa.py
/ucrt64/share/examples/libadalang/highlight/.gitignore
/ucrt64/share/examples/libadalang/highlight/README.md
/ucrt64/share/examples/libadalang/highlight/ada2web.adb
/ucrt64/share/examples/libadalang/highlight/colors.ads
/ucrt64/share/examples/libadalang/highlight/example.adb
/ucrt64/share/examples/libadalang/highlight/highlight.adb
/ucrt64/share/examples/libadalang/highlight/highlight.gpr
/ucrt64/share/examples/libadalang/highlight/highlighter.adb
/ucrt64/share/examples/libadalang/highlight/highlighter.ads
/ucrt64/share/examples/libadalang/highlight/html.adb
/ucrt64/share/examples/libadalang/highlight/html.ads
/ucrt64/share/examples/libadalang/highlight/term256.adb
/ucrt64/share/examples/libadalang/highlight/term256.ads
/ucrt64/share/gpr/libadalang.gpr
/ucrt64/share/gpr/manifests/libadalang
/ucrt64/share/gpr/manifests/mains
/ucrt64/share/libadalang/gdbinit.py
/ucrt64/share/licenses/libadalang/LICENSE.txt
Last Update: 2024-10-16 06:48:11 [Request update]