Norman Feske f1b46c3205 Move depot keys to repos/gems/sculpt/depot
This change keeps the version-controlled 'pubkey' and 'download' files
separate from files generated via depot/create or downloaded via
depot/download. So one can remove the entire depot/ directory without
interfering with git.

Furthermore, depot keys can now be hosted in supplemental repositories
independent from Genode's main repository.

Fixes #4364
2022-01-19 12:35:49 +01:00
..
2020-12-23 13:38:31 +01:00
2021-02-23 12:07:16 +01:00
2021-05-28 14:16:45 +02:00
2021-06-25 11:41:44 +02:00
2021-06-25 11:41:44 +02:00
2015-11-29 18:17:06 +01:00