../ BUILDDATE 24-Jul-2025 14:32 9 GITBRANCH 24-Jul-2025 14:32 10 MANIFEST 24-Jul-2025 10:34 1046 REVISION 24-Jul-2025 14:32 13 base-dbg.txz 24-Jul-2025 10:34 141M base.txz 24-Jul-2025 10:34 145M kernel-dbg.txz 24-Jul-2025 10:34 73M kernel.txz 24-Jul-2025 10:34 33M lib32-dbg.txz 24-Jul-2025 10:34 20M lib32.txz 24-Jul-2025 10:34 58M ports.txz 24-Jul-2025 10:34 51M src.txz 24-Jul-2025 10:34 207M tests.txz 24-Jul-2025 10:34 16M