Name		Name	Last commit message	Last commit date
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

8 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages