CINXE.COM

<!doctype html><html lang="en"><head><title>dev-ada – Gentoo Packages</title><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="theme-color" content="#54487a"><meta name="description" content="Gentoo Packages Database"><script src="/assets/application.js"></script><link rel="icon" href="https://packages.gentoo.org/favicon.ico" type="image/x-icon"><link rel="stylesheet" href="/assets/stylesheets.css"></head><body><header><div class="site-title"><div class="container"><div class="row justify-content-between"><div class="logo"><a href="/" title="Back to the homepage" class="site-logo"><img src="https://assets.gentoo.org/tyrian/site-logo.png" alt="Gentoo" srcset="https://assets.gentoo.org/tyrian/site-logo.svg"></a> <span class="site-label">Packages</span></div><div class="site-title-buttons"><div class="btn-group btn-group-sm"><a href="https://get.gentoo.org/" role="button" class="btn get-gentoo"><span class="fa fa-fw fa-download"></span> <strong>Get Gentoo!</strong></a><div class="btn-group btn-group-sm"><a class="btn gentoo-org-sites dropdown-toggle" data-toggle="dropdown" data-target="#" href="#"><span class="fa fa-fw fa-map-o"></span> <span class="d-none d-sm-inline">gentoo.org sites</span> <span class="caret"></span></a><div class="dropdown-menu dropdown-menu-right"><a class="dropdown-item" href="https://www.gentoo.org/" title="Main Gentoo website"><span class="fa fa-home fa-fw"></span> gentoo.org</a> <a class="dropdown-item" href="https://wiki.gentoo.org/" title="Find and contribute documentation"><span class="fa fa-file-text-o fa-fw"></span> Wiki</a> <a class="dropdown-item" href="https://bugs.gentoo.org/" title="Report issues and find common issues"><span class="fa fa-bug fa-fw"></span> Bugs</a> <a class="dropdown-item" href="https://forums.gentoo.org/" title="Discuss with the community"><span class="fa fa-comments-o fa-fw"></span> Forums</a> <a class="dropdown-item" href="https://packages.gentoo.org/" title="Find software for your Gentoo"><span class="fa fa-hdd-o fa-fw"></span> Packages</a><div class="dropdown-divider"></div><a class="dropdown-item" href="https://planet.gentoo.org/" title="Find out what's going on in the developer community"><span class="fa fa-rss fa-fw"></span> Planet</a> <a class="dropdown-item" href="https://archives.gentoo.org/" title="Read up on past discussions"><span class="fa fa-archive fa-fw"></span> Archives</a> <a class="dropdown-item" href="https://sources.gentoo.org/" title="Browse our source code"><span class="fa fa-code fa-fw"></span> Sources</a><div class="dropdown-divider"></div><a class="dropdown-item" href="https://infra-status.gentoo.org/" title="Get updates on the services provided by Gentoo"><span class="fa fa-server fa-fw"></span> Infra Status</a></div></div></div></div></div></div></div><nav class="tyrian-navbar navbar navbar-dark navbar-expand-lg bg-primary" role="navigation"><div class="container"><div class="navbar-header"><button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbar-main-collapse" aria-controls="navbar-main-collapse" aria-expanded="false" aria-label="Toggle navigation"><span class="navbar-toggler-icon"></span></button></div><div class="collapse navbar-collapse navbar-main-collapse" id="navbar-main-collapse"><ul class="navbar-nav mr-auto"><li class="nav-item"><a class="nav-link" href="/">Home</a></li><li class="nav-item active"><a class="nav-link" href="/categories">Packages</a></li><li class="nav-item"><a class="nav-link" href="/maintainers">Maintainers</a></li><li class="nav-item"><a class="nav-link" href="/useflags">USE flags</a></li><li class="nav-item"><a class="nav-link" href="/arches">Architectures</a></li><li class="nav-item"><a class="nav-link" href="/about">About</a></li></ul><form class="form-inline inlinesearch" role="search" action="/packages/search" method="get"><div class="input-group"><div class="input-group-prepend"><span class="input-group-text" id="basic-addon1"><i class="fa fa-search" aria-hidden="true"></i></span></div><input class="form-control" name="q" type="text" placeholder="Find Packages" aria-label="Find Packages"></div></form></div></div></nav></header><div class="kk-header-container"><div class="container"><div class="row"><div class="col-12"><div class="row mt-3 pt-2"><div class="col-md-5"><h1 class="stick-top kk-package-title" id="package-title"><div><div class="kk-package-name" style="margin-left: 0px!important;"><span class="fa fa-fw fa-cubes"></span><span class="ml-2">dev-ada</span></div></div></h1></div><div class="col-md-7">The dev-ada category contains libraries and utilities relevant to the Ada programming language.</div><div class="col-md-12 pt-4 mt-1"><nav class="nav kk-package-nav"><a class="nav-link active" href="/categories/dev-ada"><i class="fa fa-list-ul mr-1" aria-hidden="true"></i> Packages </a><a class="nav-link" href="/categories/dev-ada/stabilization"><i class="fa fa-check-circle-o mr-1" aria-hidden="true"></i> Stabilization <span class="ml-1 badge badge-pill kk-misc-badge">6</span></a><a class="nav-link" href="/categories/dev-ada/outdated"><i class="fa fa-tag mr-1" aria-hidden="true"></i> Outdated <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a><a class="nav-link" href="/categories/dev-ada/pull-requests"><i class="octicon octicon-git-pull-request opticon-resource-icon ml-1" aria-hidden="true"></i> Pull requests <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a><a class="nav-link" href="/categories/dev-ada/bugs"><i class="fa fa-bug" aria-hidden="true"></i> Bugs <span class="ml-1 badge badge-pill kk-misc-badge">10</span></a><a class="nav-link" href="/categories/dev-ada/security"><i class="fa fa-shield" aria-hidden="true"></i> Security <span class="ml-1 badge badge-pill kk-misc-badge">0</span></a></nav></div></div></div></div></div></div><div class="tab-content" id="myTabContent"><div class="container mb-5 tab-pane fade show active" id="overview" role="tabpanel" aria-labelledby="overview-tab"><div class="row"><div class="col-12"><div class="row"><div class="col-md-9"><p><script>function __templ_filter_dde5(){const value = document.querySelector("#filter").value.toLowerCase(); const rows = document.querySelectorAll("#table tr"); for (let i = 0; i < rows.length; i++) { rows[i].style.display = rows[i].cells[0].innerText.toLowerCase().includes(value) ? "" : "none"; } }</script><input onKeyup="__templ_filter_dde5()" id="filter" type="text" class="form-control form-control-xl" placeholder="Search packages in dev-ada"></p><div class="card border-top-0 rounded"><table class="table mb-0 rounded" id="table"><tr id="a"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/ada_language_server">ada_language_server</a></th><td>a Language Server Protocol for Ada/SPARK</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/ada_libfswatch">ada_libfswatch</a></th><td>Ada binding to the libfswatch library</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/AdaSAT">AdaSAT</a></th><td>Implementation of a DPLL-based SAT solver in Ada</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/aunit">aunit</a></th><td>Ada unit testing framework</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/aws">aws</a></th><td>A complete Web development framework</td></tr><tr id="e"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/e3-core">e3-core</a></th><td>Ease the development of portable automated build systems</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/e3-testsuite">e3-testsuite</a></th><td>Generic testsuite framework in Python</td></tr><tr id="g"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatcoll-bindings">gnatcoll-bindings</a></th><td>GNAT Component Collection</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatcoll-core">gnatcoll-core</a></th><td>GNAT Component Collection Core packages</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatcoll-db">gnatcoll-db</a></th><td>GNAT Component Collection</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatdoc">gnatdoc</a></th><td>GNAT Documentation Generation Tool</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatformat">gnatformat</a></th><td>Opinionated code formatter for the Ada language</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatmem">gnatmem</a></th><td>Monitors dynamic allocation and deallocation activity in a program</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gnatsymbolize">gnatsymbolize</a></th><td>Translates addresses into filename, line number, and function names</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gpr">gpr</a></th><td>LibGPR2 - Parser for GPR Project files</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gprbuild">gprbuild</a></th><td>Multi-Language Management</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gprconfig_kb">gprconfig_kb</a></th><td>GPR configuration knowledge base</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gpr-unit-provider">gpr-unit-provider</a></th><td>GPR Unit Provider</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/gtkada">gtkada</a></th><td>A complete Ada graphical toolkit</td></tr><tr id="l"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/lal-refactor">lal-refactor</a></th><td>Refactoring tools for the Ada programming language</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/langkit">langkit</a></th><td>A Python framework to generate language parsers</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/langkit-contrib">langkit-contrib</a></th><td>A Python framework to generate language parsers - Contrib</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/libadalang">libadalang</a></th><td>high performance semantic engine for the Ada programming language</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/libadalang-tools">libadalang-tools</a></th><td>Libadalang-based tools: gnatpp, gnatmetric and gnatstub</td></tr><tr><th class="kk-nobreak-cell"><a href="/packages/dev-ada/libgpr">libgpr</a></th><td>Ada library to handle GPRbuild project files</td></tr><tr id="m"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/markdown">markdown</a></th><td>Provides a markdown parser written in Ada</td></tr><tr id="p"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/prettier-ada">prettier-ada</a></th><td>Port of the Prettier formatter to the Ada programming language</td></tr><tr id="s"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/spawn">spawn</a></th><td>Simple API to spawn processes</td></tr><tr id="t"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/templates-parser">templates-parser</a></th><td>A template engine</td></tr><tr id="v"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/VSS">VSS</a></th><td>A high level string and text processing library</td></tr><tr id="x"><th class="kk-nobreak-cell"><a href="/packages/dev-ada/xmlada">xmlada</a></th><td>Set of modules that provide a simple manipulation of XML streams</td></tr></table></div><script>__templ_filter_dde5()</script></div><div class="col-md-3"><h4>Statistics</h4><dd class="ml-3"><dl>Packages: 31</dl></dd><h4 class="mt-4">Filter by Category</h4><div class="row pl-4 pr-5 mr-5"><div class="col-md-2 px-2"><a href="#a" class="text-muted text-capitalize">a</a></div><div class="col-md-2 px-2"><a href="#e" class="text-muted text-capitalize">e</a></div><div class="col-md-2 px-2"><a href="#g" class="text-muted text-capitalize">g</a></div><div class="col-md-2 px-2"><a href="#l" class="text-muted text-capitalize">l</a></div><div class="col-md-2 px-2"><a href="#m" class="text-muted text-capitalize">m</a></div><div class="col-md-2 px-2"><a href="#p" class="text-muted text-capitalize">p</a></div><div class="col-md-2 px-2"><a href="#s" class="text-muted text-capitalize">s</a></div><div class="col-md-2 px-2"><a href="#t" class="text-muted text-capitalize">t</a></div><div class="col-md-2 px-2"><a href="#v" class="text-muted text-capitalize">v</a></div><div class="col-md-2 px-2"><a href="#x" class="text-muted text-capitalize">x</a></div></div></div></div></div></div></div></div><footer style="background-color: #fafafa; box-shadow:none!important;"><div class="container pt-4" style="border-top: 1px solid #dddddd;"><div class="row"><div class="col-2 col-sm-2 col-md-2"><ul class="footerlinks three-icons"><li><a href="https://twitter.com/gentoo" title="@Gentoo on Twitter"><span class="fa fa-twitter fa-fw"></span></a></li><li><a href="https://www.facebook.com/gentoo.org" title="Gentoo on Facebook"><span class="fa fa-facebook fa-fw"></span></a></li><li><a href="https://www.reddit.com/r/Gentoo/" title="Gentoo on Reddit"><span class="fa fa-reddit-alien fa-fw"></span></a></li></ul></div><div class="col-8 col-sm-8 col-md-8"><strong>© 2001–2024 Gentoo Authors</strong><br><small>Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the <a href="https://creativecommons.org/licenses/by-sa/4.0/" rel="license">CC-BY-SA-4.0</a> license. The <a href="https://www.gentoo.org/inside-gentoo/foundation/name-logo-guidelines.html">Gentoo Name and Logo Usage Guidelines</a> apply.</small></div><div class="col-2 col-sm-2 col-md-2 text-right"><strong><a class="text-dark" href="https://www.gentoo.org/inside-gentoo/contact/">Contact</a></strong><br><small>v1.0.3</small></div></div></div></footer></body></html>