../ BUILDDATE 13-Jul-2023 08:52 9 GITBRANCH 13-Jul-2023 08:52 10 MANIFEST 13-Jul-2023 07:53 782 REVISION 13-Jul-2023 08:52 13 base-dbg.txz 13-Jul-2023 07:53 223M base.txz 13-Jul-2023 07:53 184M kernel-dbg.txz 13-Jul-2023 07:53 69M kernel.txz 13-Jul-2023 07:53 43M ports.txz 13-Jul-2023 07:53 47M src.txz 13-Jul-2023 07:53 188M tests.txz 13-Jul-2023 07:53 14M