dev-ada

• AdaSAT 25.0.0 ::gentoo 1 overlay Implementation of a DPLL-based SAT solver in Ada
• ada_language_server 26.0.202507021 ::gentoo 1 overlay a Language Server Protocol for Ada/SPARK
• ada_libfswatch 2024.07.09-r1 ::gentoo 1 overlay Ada binding to the libfswatch library
• adareducer 0.20250402 ::gentoo 1 overlay Ada Reducer
• aunit 26.0.0 ::gentoo 1 overlay Ada unit testing framework
• aws 26.0.0 ::gentoo 1 overlay A complete Web development framework
• e3-core 22.10.0 ::gentoo 1 overlay Ease the development of portable automated build systems
• e3-testsuite 26.0-r3 ::gentoo 1 overlay Generic testsuite framework in Python
• gnatcoll-bindings 26.0.0 ::gentoo 1 overlay GNAT Component Collection
• gnatcoll-core 26.0.0 ::gentoo 1 overlay GNAT Component Collection Core packages
• gnatcoll-db 26.0.0 ::gentoo 1 overlay GNAT Component Collection
• gnatdoc 26.0.0-r1 ::gentoo 1 overlay GNAT Documentation Generation Tool
• gnatformat 26.0.0-r2 ::gentoo 1 overlay Opinionated code formatter for the Ada language
• gnatmem 2021-r6 ::gentoo 1 overlay Monitors dynamic allocation and deallocation activity in a program
• gnatsymbolize 2021-r5 ::gentoo 1 overlay Translates addresses into filename, line number, and function names
• gpr 26.0.0 ::gentoo 1 overlay LibGPR2 - Parser for GPR Project files
• gprbuild 26.0.0 ::gentoo 1 overlay Multi-Language Management
• gprconfig_kb 26.0.0 ::gentoo 1 overlay GPR configuration knowledge base
• gtkada 26.0.0 ::gentoo 1 overlay A complete Ada graphical toolkit
• lal-refactor 26.0.0 ::gentoo 1 overlay Refactoring tools for the Ada programming language
• langkit 26.0.0-r1 ::gentoo 1 overlay A Python framework to generate language parsers
• langkit-contrib 26.0.0 ::gentoo 1 overlay A Python framework to generate language parsers - Contrib
• libadalang 26.0.0 ::gentoo 1 overlay high performance semantic engine for the Ada programming language
• libadalang-tools 26.0.0-r1 ::gentoo 1 overlay Libadalang-based tools: gnatpp, gnatmetric and gnatstub
• libgpr 26.0.0 ::gentoo 1 overlay Ada library to handle GPRbuild project files
• markdown 26.0.0-r1 ::gentoo 1 overlay Provides a markdown parser written in Ada
• prettier-ada 26.0.0 ::gentoo 1 overlay Port of the Prettier formatter to the Ada programming language
• spawn 26.0.0-r1 ::gentoo 1 overlay Simple API to spawn processes
• templates-parser 26.0.0-r1 ::gentoo 1 overlay A template engine
• vss-extra 26.0.0 ::gentoo 1 overlay A high level string and text processing library
• vss-text 26.0.0 ::gentoo 1 overlay A high level string and text processing library
• xmlada 26.0.0 ::gentoo 1 overlay Set of modules that provide a simple manipulation of XML streams