genode/repos/ports/recipes
Christian Prochaska ae899b9bc7 ports: add a test for GDB
Fixes #5014
2023-10-04 13:22:08 +02:00
..
api/noux depot: update recipe hashes 2023-06-16 11:24:26 +02:00
pkg ports: add socat_tcp pkg 2023-10-04 13:22:08 +02:00
raw ports: add socat_tcp pkg 2023-10-04 13:22:08 +02:00
src ports: add a test for GDB 2023-10-04 13:22:08 +02:00