dinkelk / libadalang_tool_builder

Tool that builds and installs libadalang tools like gnatpp and gnatmetric from source.

Geek Repo

Github PK Tool