# Binary releases of GNAT tools

**URL:** https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398
**Category:** Releases
**Tags:** tool, ada, gnat
**Created:** [May 7, 2026, 2:32pm UTC](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398 "2026-05-07T14:32:53Z")
**Posts on this page:** 3
**Page:** 1

<div class="post-metadata">

### Author: ![csagaert](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/csagaert/32/590_2.png) [@csagaert](https://forum.ada-lang.io/u/csagaert)
#### Post date: [May 7, 2026, 2:32pm UTC](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398/1 "2026-05-07T14:32:53Z")

</div>

Hello all! I’ve published (in the [GNAT-FSF-builds](https://github.com/alire-project/GNAT-FSF-builds) repo) a few binary releases of several AdaCore tools: GPRbuild, GNATcoverage, GNATformat, GNATtest and GNATdoc.

These releases will be published in the Alire index with the `_bin` suffix (except for GPRbuild and GNATcov, which already exist without the suffix in the index).

The goal is to have easy to use tooling for your personal projects, without having to recompile everything from scratch! For instance, in the CI of an Ada project, you could do `alr with gnatdoc_bin` to generate the documentation of a library; or `alr with gnatformat_bin` to enforce a formatting style in pull requests.

GNATcoverage hasn’t had a new release in a long time. Further down the line, I want to make it easier to integrate in an Alire project, for instance with a little wrapper tool to automatically generate coverage information of an `alr test` testsuite. To be continued!

---

<div class="post-metadata">

### Author: ![liampwll](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/l/b19c9b/32.png) [@liampwll](https://forum.ada-lang.io/u/liampwll)
#### Post date: [May 7, 2026, 5:52pm UTC](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398/2 "2026-05-07T17:52:09Z")

</div>

Regarding GNATcov, it might be worth documenting the currently undocumented shtml mode, which is an alias for the old html mode. The new dhtml mode (which is what html points to now) requires GNATquilt, which isn’t public.

---

<div class="post-metadata">

### Author: ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)
#### Post date: [May 7, 2026, 6:37pm UTC](https://forum.ada-lang.io/t/binary-releases-of-gnat-tools/4398/3 "2026-05-07T18:37:18Z")

</div>

Excellent work Cesar! Greatly appreciated ^^