Minimal Ada/SPARK run-time for embedded or other restricted targets
Primary LanguageAda
No issues in this repository yet.