9 Commits

Author	SHA1	Message	Date
Christian Helmuth	26002a5482	depot: update recipe hashes	2024-08-29 12:32:25 +02:00
Norman Feske	299951ced5	depot: update recipe hashes	2024-06-20 12:59:00 +02:00
Norman Feske	fe613fa9a3	Rename src/drivers to src/driver ... Issue genodelabs/genode#4420	2024-06-20 12:54:30 +02:00
Christian Helmuth	4b9f4d8c38	depot: update recipe hashes	2024-05-30 08:20:21 +02:00
Christian Helmuth	583f2d6a36	depot: update recipe hashes	2023-05-30 12:13:34 +02:00
Christian Helmuth	73771669f1	depot: update recipe hashes	2023-03-13 14:32:54 +01:00
Norman Feske	4450b37ff5	depot: update recipe hashes	2020-06-29 14:25:28 +02:00
Norman Feske	eb3a81a874	depot: update recipe hashes	2020-06-22 09:39:41 +02:00
Norman Feske	c6eda9bd80	Rename include/nitpicker_session to gui_session ... This patch also renames the depot api archive accordingly. Issue #3778	2020-06-22 09:39:39 +02:00