genode/repos/libports/recipes
2019-05-27 14:52:53 +02:00
..
api ada-runtime: update to GCC 8.3.0 2019-05-27 14:52:53 +02:00
pkg ada-runtime: update to GCC 8.3.0 2019-05-27 14:52:53 +02:00
raw depot: update recipe hashes 2019-02-26 14:47:02 +01:00
src ada-runtime: update to GCC 8.3.0 2019-05-27 14:52:53 +02:00