|
api
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |
|
content.mk
|
ada-runtime: update to 1.1
|
2019-08-21 13:25:25 +02:00 |
|
hash
|
depot: update recipe hashes
|
2020-04-24 14:37:57 +02:00 |
|
used_apis
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |
