../ MANIFEST 04-Aug-2023 17:29 1200 base-dbg.txz 04-Aug-2023 17:29 76001024 base.txz 04-Aug-2023 17:29 136238544 kernel-dbg.txz 04-Aug-2023 17:29 43714476 kernel.CHERI-CAPREVOKE-QEMU-dbg.txz 04-Aug-2023 17:29 43717860 kernel.CHERI-CAPREVOKE-QEMU.txz 04-Aug-2023 17:29 17056796 kernel.txz 04-Aug-2023 17:29 17055200 lib64-dbg.txz 04-Aug-2023 17:29 19210296 lib64.txz 04-Aug-2023 17:29 63286680 tests.txz 04-Aug-2023 17:29 23583328