Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:AdaCore
|
| gptkbp:frequency |
annual
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT Community Edition
|
| gptkbp:includes |
gptkb:GNAT_Ada_compiler
gptkb:GNAT_Studio_IDE |
| gptkbp:language |
gptkb:Ada
gptkb:SPARK |
| gptkbp:license |
free for academic and non-commercial use
|
| gptkbp:platform |
gptkb:Windows
gptkb:macOS gptkb:Linux |
| gptkbp:website |
https://www.adacore.com/community
|
| gptkbp:bfsParent |
gptkb:AdaCore
|
| gptkbp:bfsLayer |
6
|