../ BUILDDATE 13-Jul-2023 09:48 9 GITBRANCH 13-Jul-2023 09:48 10 MANIFEST 13-Jul-2023 07:53 782 REVISION 13-Jul-2023 09:48 13 base-dbg.txz 13-Jul-2023 07:53 231M base.txz 13-Jul-2023 07:53 172M kernel-dbg.txz 13-Jul-2023 07:53 60M kernel.txz 13-Jul-2023 07:53 35M ports.txz 13-Jul-2023 07:53 47M src.txz 13-Jul-2023 07:53 188M tests.txz 13-Jul-2023 07:53 14M