Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
example		example
sanity-checks		sanity-checks
src		src
.gitignore		.gitignore
README.md		README.md
ada_object_path		ada_object_path
ada_source_path		ada_source_path
alire.toml		alire.toml
bare_runtime.gpr		bare_runtime.gpr
runtime.xml		runtime.xml
target_options.gpr		target_options.gpr

Repository files navigation

bare_runtime

Minimal Ada/SPARK run-time for embedded or other restricted targets

Usage

See alire.toml.

About

Minimal Ada/SPARK run-time for embedded or other restricted targets

Report repository

Releases

No releases published

Packages

Contributors

Languages

Ada 99.6%
Other 0.4%