GNAT Studioは、AdaおよびSPARK向けの強力で軽量なIDEです。
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
