gnatstudio-bin: gnatstudio-bin (GNAT Studio)
gnatstudio-bin:
gnatstudio-bin: GNAT Studio is a lightweight, extensible IDE, intended to develop
gnatstudio-bin: high-integrity software in Ada and SPARK, with support for C and
gnatstudio-bin: C++ as well.
gnatstudio-bin:
gnatstudio-bin: https://github.com/AdaCore/gnatstudio
gnatstudio-bin:
gnatstudio-bin:
gnatstudio-bin:
gnatstudio-bin: