genode/repos/ports/recipes
Christian Prochaska 16ba978025 ports: add a gdb_x86 pkg recipe
Fixes #5016
2023-10-04 14:00:42 +02:00
..
api/noux depot: update recipe hashes 2023-06-16 11:24:26 +02:00
pkg ports: add a gdb_x86 pkg recipe 2023-10-04 14:00:42 +02:00
raw ports: add a gdb_x86 pkg recipe 2023-10-04 14:00:42 +02:00
src depot: update recipe hashes 2023-10-04 13:22:08 +02:00