base-dbg.txz	c25cbcaa5cfb4d3795f2954224e2509308515793d0416b24883670ddff840a70	1015	base_dbg	"Base system (Debugging)"	off
base.txz	57a88495f32e5ed644c7111cc79043f65ff60db66f687bb4cb915ef4b4c6a642	26106	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	f5d5b8f3c6603d036c2e4a504f9b99ab9019f73b3e01f8ae350ac24d2eb47553	576	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	9fcecd4ce619d146c38de943c2f19b4f31abc8a84d887be076d004d11f954534	576	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	75c2cbbc0eb80cef86ec178f8e7b0f8ddb0e385af709ab59bedef9ba7ccb67e9	579	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	48e31d47bf9ce92167e843e4a5d9e3339e5fb6203a568fb4d6e48c9767237071	579	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	6e0db8a6dadec2be3e723e02b408d4d5ed7e0ff54e1d1ee9479da9e00755db22	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	7206b7ea4452eefba383a99a7d6f855057c3dfcc04533e23b58d5d9088abe8ec	692	lib64	"64-bit compatibility libraries"	on
tests.txz	2941b98508e33e00c7d6ff694f1c9b574a3a460bdfe3bc4763904a02646fd962	7015	tests	"Test suite"	off
