gentoo.LinuxHowtos.org

Details of dev-ada/ada_language_server:

Description: a Language Server Protocol for Ada/SPARK
Homepage: https://github.com/AdaCore/ada_language_server

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
ada_language_server-25.0.20241014-r2 -~----------~test
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back