Publisher
Extensions by AdaCore.
Namespace
AdaCore
| Extension | 7d gain | Total downloads | Rating | Version | Favorite and open on Open VSX |
|---|---|---|---|---|---|
| Ada & SPARK AdaCore.ada | ↗ | ||||
| Language Support for Ada (with debug info) Deprecated AdaCore.ada-debug | ↗ |
Publisher
Namespace
| Extension | 7d gain | Total downloads | Rating | Version | Favorite and open on Open VSX |
|---|---|---|---|---|---|
| Ada & SPARK AdaCore.ada | ↗ | ||||
| Language Support for Ada (with debug info) Deprecated AdaCore.ada-debug | ↗ |