genode/repos/dde_rump/lib/mk/spec
2019-12-19 16:59:03 +01:00
..
arm Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
arm_64 dde_rump: backport aarch64 (Fix #3565) 2019-12-19 16:59:03 +01:00
x86_32 Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
x86_64 Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00