genode/repos/libports/recipes
Christian Helmuth a5d0f6a2af ada: fix ada-runtime-alis for current changes
Note, this also adapts the spark depot recipe to preserve source-file
time stamps.
2019-02-28 11:34:07 +01:00
..
api ada: fix ada-runtime-alis for current changes 2019-02-28 11:34:07 +01:00
pkg Update <provides> info in pkg runtimes 2019-02-28 11:34:07 +01:00
raw depot: update recipe hashes 2019-02-26 14:47:02 +01:00
src ada: add arit64 to runtime 2019-02-28 11:34:06 +01:00