# Debian Ada package removals **URL:** \ **Category:** General\ **Created:** [November 27, 2022, 6:13pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136 "2022-11-27T18:13:09Z")\ **Posts on this page:** 20\ **Page:** 1
**Author:** ![JeremyGrosser](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/jeremygrosser/32/3_2.png) [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Post date:** [November 27, 2022, 6:13pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/1 "2022-11-27T18:13:09Z")
[https://lists.debian.org/debian-ada/2022/11/msg00000.html](https://lists.debian.org/debian-ada/2022/11/msg00000.html) AdaControl, GNAT Studio, GtkAda, and many other Ada packages are slated for removal from Debian with the transition to GCC 12. If you feel strongly about keeping these things available in an OS package manager rather than Alire, now’s the time to speak up. ---
**Author:** ![stephe-ada-guru](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/stephe-ada-guru/32/77_2.png) [@stephe-ada-guru](https://forum.ada-lang.io/u/stephe-ada-guru)\ **Post date:** [November 28, 2022, 4:08pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/2 "2022-11-28T16:08:42Z")
I maintain Emacs ada-mode, which has some Ada code that users must compile. The biggest source of problems reported by users is incompaiblities among the AdaCore packages and compiler versions. Having only one distribution to deal with makes this much simpler, especially since the Alire ada-mode package can specify what versions of dependencies to use. I can provide the Alire package - i can’t provide packages for all of the other distributions. ---
**Author:** ![DirkCraeynest](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/dirkcraeynest/32/94_2.png) [@DirkCraeynest](https://forum.ada-lang.io/u/DirkCraeynest)\ **Post date:** [November 30, 2022, 11:27am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/3 "2022-11-30T11:27:40Z")
I do feel strongly about keeping things (like AdaControl) available in an OS package manager, so I speak up. But more will be needed to make that a reality… ---
**Author:** ![joakim-strandberg](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/joakim-strandberg/32/30_2.png) [@joakim-strandberg](https://forum.ada-lang.io/u/joakim-strandberg)\ **Post date:** [December 17, 2022, 10:45pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/4 "2022-12-17T22:45:11Z")
I do not feel strongly to keep these things available in the OS package manager. I’m ok with using “apt install gnat” and “apt install gprbuild”, and then also install vscodium ([https://vscodium.com/](https://vscodium.com/)) together with the Ada extension for writing Ada code. I use a virtual machine with GNAT Community Edition 2019 for using AdaControl which is then already a very powerful version of AdaControl. I really love GNAT Studio but it may be hard to build from sources and thus hard to maintain for a package manager. What I think is important is that it should be super easy to get started with Ada development on a platform. ---
**Author:** ![stephe-ada-guru](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/stephe-ada-guru/32/77_2.png) [@stephe-ada-guru](https://forum.ada-lang.io/u/stephe-ada-guru)\ **Post date:** [January 11, 2023, 4:59pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/5 "2023-01-11T16:59:08Z")
But the long term Adacore plan ([A New Era For Ada/SPARK Open Source Community | The AdaCore Blog](https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community)) is to remove gnat and gprbuild from debian, so “apt install” wont work. At least, thats how I read that post. ---
**Author:** ![joakim-strandberg](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/joakim-strandberg/32/30_2.png) [@joakim-strandberg](https://forum.ada-lang.io/u/joakim-strandberg)\ **Post date:** [January 11, 2023, 9:34pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/6 "2023-01-11T21:34:36Z")
Thanks Stephen, I didn’t interpret it like that but I believe you are right. What’s important is that it should be easy to get started. Inspired by your message I installed alire and tried it out. Very easy to get started. Even removing gnat and gprbuild from debian packages is OK for me too. ---
**Author:** ![simonjwright](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/simonjwright/32/11_2.png) [@simonjwright](https://forum.ada-lang.io/u/simonjwright)\ **Post date:** [January 11, 2023, 10:41pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/7 "2023-01-11T22:41:45Z")
I certainly didn’t read it like that. AdaCore have no real influence over what ends up in Debian; if Debian are removing their FSF GCC releases and tools that’s their decision alone. ---
**Author:** ![kug1977](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/kug1977/32/196_2.png) [@kug1977](https://forum.ada-lang.io/u/kug1977)\ **Post date:** [January 13, 2023, 1:56pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/8 "2023-01-13T13:56:34Z")
I understand that maintaining that packages is a lot of work and getting use to Alire will help a lot. But I will miss the debian way of installation. Alire is missing a guide on what to install to have a nice platform to start with Ada/SPARK and I used AdaCore’s latest community package to get some hints what might be missing. ---
**Author:** ![kevlar700](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/kevlar700/32/1118_2.png) [@kevlar700](https://forum.ada-lang.io/u/kevlar700)\ **Post date:** [January 16, 2023, 10:49am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/9 "2023-01-16T10:49:20Z")
It may be coincidence but I had issues with the debian packages compared to Alire. Of course not all projects are meant for Alire yet. That aside. I do think that having an Alire binary in the repos might serve as an Ada advertisement when users are searching in a package manager. ---
**Author:** ![mgrojo](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/mgrojo/32/15_2.png) [@mgrojo](https://forum.ada-lang.io/u/mgrojo)\ **Post date:** [January 16, 2023, 7:49pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/10 "2023-01-16T19:49:13Z")
Stephane Carrez created a Debian package for the Alire 1.2.1. [https://lists.debian.org/debian-ada/2022/12/msg00009.html](https://lists.debian.org/debian-ada/2022/12/msg00009.html) If this is integrated, it would be at least a consolation if other packages cannot make the transition. For understanding what is causing many of the issues that have led to this situation, I think a read of the following is interesting. [https://lists.debian.org/debian-ada/2022/07/msg00000.html](https://lists.debian.org/debian-ada/2022/07/msg00000.html) ---
**Author:** ![Jesper-Quorning](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/jesper-quorning/32/95_2.png) [@Jesper-Quorning](https://forum.ada-lang.io/u/Jesper-Quorning)\ **Post date:** [January 27, 2023, 2:22am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/11 "2023-01-27T02:22:52Z")
The MIA organisation is specifically created for this purpose > **[Maintainance Initiative for Ada](https://github.com/the-MIA)** > > Maintainance Initiative for Ada has 12 repositories available. Follow their code on GitHub. The organization is however in dire need of - especially - CI/CD maintainers ! Any contributions are welcomed ! ---
**Author:** ![stcarrez](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/stcarrez/32/74_2.png) [@stcarrez](https://forum.ada-lang.io/u/stcarrez)\ **Post date:** [January 28, 2023, 10:32pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/12 "2023-01-28T22:32:47Z")
Good news, I’ve worked with Ludovic Brenta and took into account his remarks. Ludovic has uploaded the Alire Debian package to bookworm/unstable. See [#1029448 - ITP: alire -- Package manager for Ada sources - Debian Bug report logs](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1029448) ---
**Author:** ![evanescente-ondine](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/evanescente-ondine/32/451_2.png) [@evanescente-ondine](https://forum.ada-lang.io/u/evanescente-ondine)\ **Post date:** [August 26, 2024, 10:22pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/13 "2024-08-26T22:22:27Z")
I want to speak up because Adacontrol is now exceedingly difficult to install from debian. The older compatible gnat CE edition can’t be installed from the repo anymore, nor can adacontrol itself, or the asistools. I tried to compile both the version using gnat ce, and the one for the separate asistool (correct me if I’m wrong), but always it requires some version of asis and gnat, that are not available. Also the Adalog’s website very silent, as is its twitter account, for a few years already. JP.Rosen is still alive so I wonder what happens. It’s certainly a deplorable situation for a beginner, as the tool doesn’t exist in alire. The site mentions that adacontrol can compile with the asistool package provided to users to gnat pro, and that it has the GPL licence, so users don’t need any kind of permission to diffuse it, eventhough Adacore doesn’t. So… can’t someone who has it just give to everyone else ? Users of gnat pro, please step up and do your duty. ---
**Author:** ![JeremyGrosser](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/jeremygrosser/32/3_2.png) [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Post date:** [August 26, 2024, 11:08pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/14 "2024-08-26T23:08:54Z")
ASIS is an interface to a particular representation of the compiler’s AST. ASIS support was removed from GNAT because maintaining this interface required a fair bit of maintenance and made modifying the compiler’s internal AST more difficult. AdaControl depends on the ASIS interface, so it cannot be built with a recent GNAT. I believe AdaCore’s paid ASIS tool is just an older version of GNAT with a support contract. [Libadalang](https://github.com/AdaCore/libadalang) is AdaCore’s recommended replacement for ASIS, which provides an interface to an AST independent of the compiler version. However, this interface is significantly different from ASIS and would require nearly a full rewrite of AdaControl, which would be a significant effort. I don’t think anyone is willing to pay for this work and no one with the requisite skillset has volunteered. If you really need it, you can install an old version of Debian in a container or VM and run AdaControl there. This is not ideal, but it’s what’s available. ---
**Author:** ![evanescente-ondine](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/evanescente-ondine/32/451_2.png) [@evanescente-ondine](https://forum.ada-lang.io/u/evanescente-ondine)\ **Post date:** [August 27, 2024, 9:06am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/15 "2024-08-27T09:06:18Z")
JP Rosen told me that he intends to bundle the older GNAT version and his progfram, and put them on alire. Yes I understood that there were technical reasons to switch to something else. However there are just none to not make the old package available as it was. Let the community decide what they find useful. This is making things complicated for no reason. Moreover, because it’s Rosen, they certainly know, and so must be refusing wilfully to accede his request. ---
**Author:** ![rosen](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/rosen/32/191_2.png) [@rosen](https://forum.ada-lang.io/u/rosen)\ **Post date:** [October 7, 2024, 2:27pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/16 "2024-10-07T14:27:28Z")
Sorry, but I’m very bad at social networks. I never check the twitter (sorry X) account, and I didn’t update the website because nothing new happened. TBH, I’ve been discouraged by the poor quality of LibAdalang. Consider that it took 5 years for AdaCore to move Gnatcheck from ASIS to LibAdalang! ---
**Author:** ![evanescente-ondine](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/evanescente-ondine/32/451_2.png) [@evanescente-ondine](https://forum.ada-lang.io/u/evanescente-ondine)\ **Post date:** [October 7, 2024, 3:57pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/17 "2024-10-07T15:57:29Z")
So they botched it ? ---
**Author:** ![AJ-Ianozi](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/aj-ianozi/32/39_2.png) [@AJ-Ianozi](https://forum.ada-lang.io/u/AJ-Ianozi)\ **Post date:** [October 8, 2024, 12:33am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/18 "2024-10-08T00:33:42Z")
> [@kug1977](#): > > Alire is missing a guide on what to install to have a nice platform to start with Ada/SPARK and I used AdaCore’s latest community package to get some hints what might be missing. I found this guide to be helpful when I was initially migrating from community edition to Alire: [Alire - Transition from GNAT Community](https://alire.ada.dev/transition_from_gnat_community.html) ---
**Author:** ![Fabien.C](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/fabien.c/32/46_2.png) [@Fabien.C](https://forum.ada-lang.io/u/Fabien.C)\ **Post date:** [October 8, 2024, 8:18am UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/19 "2024-10-08T08:18:25Z")
> [@evanescente-ondine](#): > > So they botched it ? Don’t believe everything you read online ^^ Libadalang, and the underlying langkit, and lkql are great technologies used in many of AdaCore tools (Ada language server, gnatformat, gnatcheck, gnatkp, gnatcoverage, gnatfuzz, gnattest, etc.). ---
**Author:** ![zertovitch](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/zertovitch/32/90_2.png) [@zertovitch](https://forum.ada-lang.io/u/zertovitch)\ **Post date:** [October 8, 2024, 2:42pm UTC](https://forum.ada-lang.io/t/debian-ada-package-removals/136/20 "2024-10-08T14:42:05Z")
Within recent editions of GNAT Studio, the language server (then, libadalang if I understand correctly) does a great job. It clearly understands “at best” in-progress and sometimes incomplete changes (new types, new functions, renamed items, …) across multiple editor windows, even unsaved, and that immediately and independently of GNAT & GPRBuild (no rebuild needed). But perhaps AdaControl needs some details that only a real compiler sees? My impression is that libadalang and ASIS (or any API that can make the compiler’s “brains” accessible) are similar but still different kind of tools. [Next page](https://forum.ada-lang.io/t/debian-ada-package-removals/136.md?page=2)