gnatstudio-bin (GNAT Studio)
GNAT Studio is a lightweight, extensible IDE, intended to develop
high-integrity software in Ada and SPARK, with support for C and
C++ as well.
This is a binary package.