AdaSAT Manifest.gz ada_language_server ada_libfswatch adareducer aunit aws e3-core e3-testsuite gnatcoll-bindings gnatcoll-core gnatcoll-db gnatdoc gnatformat gnatmem gnatsymbolize gpr gprbuild gprconfig_kb gtkada lal-refactor langkit langkit-contrib libadalang libadalang-tools libgpr markdown prettier-ada spawn templates-parser vss-extra vss-text xmlada
|