Base Package:
mingw-w64-libadalang

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

Installation:
pacman -S mingw-w64-x86_64-libadalang
File:
https://mirror.msys2.org/mingw/mingw64/mingw-w64-x86_64-libadalang-24.0.0-1-any.pkg.tar.zst
SHA256:
8db081c06aed6875c6b3a485311e60fd37e986ac63696dda4909230b6339fcde
Last Packager:
CI (msys2/msys2-autobuild/3e617554/8347440718)
Build Date:
2024-03-19 17:51:21
Package Size:
65.90 MB
Installed Size:
426.90 MB

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

Provided By:
-
Required By:
-

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