../ BUILDDATE 12-May-2022 13:24 9 GITBRANCH 12-May-2022 13:24 12 MANIFEST 12-May-2022 12:02 782 REVISION 12-May-2022 13:24 12 base-dbg.txz 12-May-2022 12:02 196M base.txz 12-May-2022 12:02 174M kernel-dbg.txz 12-May-2022 12:02 65M kernel.txz 12-May-2022 12:02 43M ports.txz 12-May-2022 12:02 42M src.txz 12-May-2022 12:02 184M tests.txz 12-May-2022 12:02 14M