Port variant | std |
Summary | Development tools based on libadalang |
BROKEN | |
Package version | 24.0.0,1 |
Homepage | https://github.com/AdaCore/libadalang-tools |
Keywords | python, lang, devel |
Maintainer | John Marino |
License | GPLv3+ |
Other variants | There are no other variants. |
Ravenports | Buildsheet | History |
Ravensource | Port Directory | History |
Last modified | 09 AUG 2024, 21:24:17 UTC |
Port created | 21 JAN 2019, 17:33:11 UTC |
set | This is the libadalang-tools:std metapackage. It pulls in all subpackages of libadalang-tools:std. |
primary | This package contains the adalang library. |
dev | This is the developer subpackage of the libadalang-tools:std port. It may contain headers, pc files, static and PIC libraries and SO links. |
tools | This package contains several Libadalang-based development tools: - gnatpp a pretty-printer to reformat source code. - gnatmetric compute various source code metrics, such as SLOC count. - gnatstub creates body stub (empty but compilable bodies) for library unit declarations. |
main | mirror://GITHUB/AdaCore:libadalang-tools:v24.0.0 |
ada_language_server:std | Microsoft Language Server Protocol for Ada |
gnatstudio:std | Multilanguage IDE for Ada, SPARK, C/C++, and more |
lal-refactor:std | Collection of Ada source code refactoring tools |