ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-11 13:35:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/libports/recipes/src/ada
History
Johannes Kliemann eb7c367e25 ada: replace local runtime implementation with port 
Fixes #3044
2018-11-27 11:36:36 +01:00
..
api
Archive recipes for autopilot tests
2018-11-16 15:07:53 +01:00
content.mk
ada: replace local runtime implementation with port
2018-11-27 11:36:36 +01:00
hash
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
used_apis
Archive recipes for autopilot tests
2018-11-16 15:07:53 +01:00