興味がある人はAda/SPARKを使ってみよう＞＜
公式パッケージマネージャはこれ＞＜
Alire -
https://alire.ada.dev/