../ BUILDDATE 13-Jul-2023 09:00 9 GITBRANCH 13-Jul-2023 09:00 10 MANIFEST 13-Jul-2023 07:53 782 REVISION 13-Jul-2023 09:00 13 base-dbg.txz 13-Jul-2023 07:53 176M base.txz 13-Jul-2023 07:53 177M kernel-dbg.txz 13-Jul-2023 07:53 54M kernel.txz 13-Jul-2023 07:53 24M ports.txz 13-Jul-2023 07:53 47M src.txz 13-Jul-2023 07:53 188M tests.txz 13-Jul-2023 07:53 14M