../ MANIFEST 20-Jun-2023 19:38 1207 base-dbg.txz 20-Jun-2023 19:38 76774464 base.txz 20-Jun-2023 19:38 126195836 kernel-dbg.txz 20-Jun-2023 19:38 43091832 kernel.CHERI-CAPREVOKE-QEMU-dbg.txz 20-Jun-2023 19:38 43092200 kernel.CHERI-CAPREVOKE-QEMU.txz 20-Jun-2023 19:38 16944524 kernel.txz 20-Jun-2023 19:38 16861400 lib64c-dbg.txz 20-Jun-2023 19:38 14356120 lib64c.txz 20-Jun-2023 19:38 48626784 tests.txz 20-Jun-2023 19:38 19823488