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.