| Port variant | std |
| Summary | Development tools based on libadalang |
| BROKEN | |
| Package version | 25.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 | 22 NOV 2024, 12:26:16 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:v25.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 |